%0 Book Section %1 noKey %A Fischer, Clemens %A Janssen, Wil %B CONCUR '96: Concurrency Theory %D 1996 %E Montanari, Ugo %E Sassone, Vladimiro %I Springer Berlin Heidelberg %K asynchronous decomposition layered systems %P 735-750 %R 10.1007/3-540-61604-7_87 %T Synchronous development of asynchronous systems %U http://dx.doi.org/10.1007/3-540-61604-7_87 %V 1119 %X Formal specifications of communicating systems should describe an abstract view of a system and hide unnecessary implementation details. A problematic implementation detail is the kind of communication used in an open or distributed system. We argue that %@ 978-3-540-61604-7

@incollection{noKey, abstract = {Formal specifications of communicating systems should describe an abstract view of a system and hide unnecessary implementation details. A problematic implementation detail is the kind of communication used in an open or distributed system. We argue that }, added-at = {2015-03-09T13:49:49.000+0100}, author = {Fischer, Clemens and Janssen, Wil}, biburl = {https://www.bibsonomy.org/bibtex/290ccb9c5e15ab9a998a9cbc91e52761e/schlitsch}, booktitle = {CONCUR '96: Concurrency Theory}, description = {Synchronous development of asynchronous systems - Springer}, doi = {10.1007/3-540-61604-7_87}, editor = {Montanari, Ugo and Sassone, Vladimiro}, interhash = {e206b66ec209acd89fcf5abfea298f33}, intrahash = {90ccb9c5e15ab9a998a9cbc91e52761e}, isbn = {978-3-540-61604-7}, keywords = {asynchronous decomposition layered systems}, language = {English}, pages = {735-750}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2015-03-09T13:49:49.000+0100}, title = {Synchronous development of asynchronous systems}, url = {http://dx.doi.org/10.1007/3-540-61604-7_87}, volume = 1119, year = 1996 }