%0 Conference Paper %1 conf/facs/Gribomont88 %A Gribomont, E. Pascal %B Specification and Verification of Concurrent Systems %D 1988 %E Rattray, Charles %I Springer %K dblp %P 368-383 %T From Synchronous to Asynchronous Communication. %U http://dblp.uni-trier.de/db/conf/facs/facs1988.html#Gribomont88 %@ 3-540-19581-5

@inproceedings{conf/facs/Gribomont88, added-at = {2003-02-19T00:00:00.000+0100}, author = {Gribomont, E. Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2f2f7a03fdcd062388f95e95681d7ecd3/dblp}, booktitle = {Specification and Verification of Concurrent Systems}, crossref = {conf/facs/1988}, date = {2003-02-19}, description = {dblp}, editor = {Rattray, Charles}, interhash = {4bcbb7e366b623745884d1be71e2b24f}, intrahash = {f2f7a03fdcd062388f95e95681d7ecd3}, isbn = {3-540-19581-5}, keywords = {dblp}, pages = {368-383}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-19T00:00:00.000+0100}, title = {From Synchronous to Asynchronous Communication.}, url = {http://dblp.uni-trier.de/db/conf/facs/facs1988.html#Gribomont88}, year = 1988 }