You are here

Home › Research › Publications ›

Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.

TitleFormal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.
Publication TypeJournal Article
Year of Publication2007
AuthorsDosch, 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}
}