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} }