Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.
| Title | Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Dosch, W |
Bibtex:
@article {538,
title = {Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.},
year = {2007},
note = {In M.S. Obaidat, K. Pawlikowksi, J.L. Marco, P. Lorenz (eds.): Proceedings of the 5th International Conference on Computer Systems and Applications. May 13-16, Amman, Jordan. Los Alamitos, CA: IEEE Computer Society 2007, 909-916 [ISBN 1-4244-1031-2]},
author = {W. Dosch}
}