{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:04Z","timestamp":1742617204446,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:56Z","timestamp":1330293836000},"page":"735-750","source":"Crossref","is-referenced-by-count":2,"title":["Synchronous development of asynchronous systems"],"prefix":"10.1007","author":[{"given":"Clemens","family":"Fischer","sequence":"first","affiliation":[]},{"given":"Wil","family":"Janssen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"unstructured":"P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.","key":"44_CR2"},{"key":"44_CR3","volume-title":"SDL with Applications from Protocol Specification","author":"F. Belina","year":"1991","unstructured":"Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma. SDL with Applications from Protocol Specification. Prentice Hall International, Hertfordshire UK, 1991."},{"unstructured":"M. Chandy and J. Misra. Reasoning about networks of communicating processes. In INRIA Advanced Nato Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, Nice, France, 1984.","key":"44_CR4"},{"doi-asserted-by":"crossref","unstructured":"F. de Boer and J. Hooman. The real-time behaviour of asynchronously communicating processes. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS, pages 451\u2013472. Springer-Verlag, 1992.","key":"44_CR5","DOI":"10.1007\/3-540-55092-5_25"},{"unstructured":"Frank S. de Boer, J. N. Kok, Catuscia Palamidessi, and J.J.M.M. Rutten. The failure of failures in a paradigm for asynchronous communication. In Proceedings of CONCUR 1991, volume 527 of LNCS, Amsterdam, 1991.","key":"44_CR6"},{"key":"44_CR7","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"T. Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2:155\u2013173, 1982.","journal-title":"Science of Computer Programming"},{"unstructured":"Clemens Fischer. Transformation von synchronen SL-Spezifikationen von Telekommunikationssystemen in asynchrone SL-Spezifikationen. Master's thesis, Univ. Oldenburg, 1995.","key":"44_CR8"},{"unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice\/Hall International, 1985.","key":"44_CR9"},{"key":"44_CR10","first-page":"459","volume-title":"Proceedings of the IFIP Working Conference on Programming Concepts and Methods","author":"H. Jifeng","year":"1990","unstructured":"He Jifeng, Mark B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In M. Broy and C. B. Jones, editors, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, pages 459\u2013478, North-Holland, 1990. Elsevier."},{"doi-asserted-by":"crossref","unstructured":"Bengt Jonsson. A model and proof system for asynchronous networks. In Proc. of the 4th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 49\u201358, 1985.","key":"44_CR11","DOI":"10.1145\/323596.323601"},{"unstructured":"Bengt Jonsson. A fully abstract trace model for dataflow networks. Research Report 88016, Swedish Institute of Computer Science, 1988.","key":"44_CR12"},{"doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proceedings of CONCUR '91, LNCS 527, pages 298\u2013316. Springer-Verlag, 1991.","key":"44_CR13","DOI":"10.1007\/3-540-54430-5_96"},{"doi-asserted-by":"crossref","unstructured":"S. Kleuker and H. Tjabben. The incremental development of correct specifications for distributed systems. In M.-C. Gaudel and J. Woodcock, editors, Industrial Benefit and Advances in Formal Methods (FME'96), volume 1051 of LNCS, pages 479\u2013498, 1996.","key":"44_CR14","DOI":"10.1007\/3-540-60973-3_103"},{"unstructured":"Charles E. Molnar, Ting-Pien Fang, and Frederick U. Rosenberger. Synthesis of delay-insensitive modules. In Henry Fuchs, editor, 1985 Chapel Hill Conference on Very Large Scale Integration, pages 67\u201386. Computer Science Press, 1985.","key":"44_CR15"},{"key":"44_CR16","first-page":"83","volume-title":"Introduction to asynchronous systems","author":"C. E. Molnar","year":"1986","unstructured":"Charles E. Molnar. Introduction to asynchronous systems. In Proceedings New Frontiers in Computer Science Conference, pages 83\u201393, Santa Monica, 1986. Citicorp\/TTI."},{"key":"44_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog and C.A.R. Hoare. Specification-oriented semantics for commuicating processes. Acta Informatica, 23:9\u201366, 1986.","journal-title":"Acta Informatica"},{"key":"44_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526589","volume-title":"Nets, Terms and Formulas","author":"E.-R. Olderog","year":"1991","unstructured":"E.-R. Olderog. Nets, Terms and Formulas. Cambridge University Press, Cambridge, 1991."},{"unstructured":"M. Raynal and J.-M. Helary. Synchronization and control of distributed systems and programs. John Wiley & Sons, 1990.","key":"44_CR19"},{"unstructured":"Stephan R\u00f6ssig. A Transformational Approach to the Design of Communicating Systems. Berichte aus dem fachbereich informatik, Universit\u00e4t Oldenburg, 1994.","key":"44_CR20"},{"issue":"6","key":"44_CR21","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1007\/BF03259394","volume":"6","author":"F. Stomp","year":"1994","unstructured":"F. Stomp and W.-P. de Roever. A principle for sequential reasoning about distributed systems. Formal Aspects of Computing, 6(6):716\u2013737, 1994.","journal-title":"Formal Aspects of Computing"},{"unstructured":"Jan Tijmen Udding. Classification and Composition of Delay-Insensitive Circuits. PhD thesis, Eindhoven University of Technology, 1984.","key":"44_CR22"},{"doi-asserted-by":"crossref","unstructured":"F. W. Vaandrager. On the relationship between process algebra and input\/output automata. In Proceedings of Logic in Computer Science, pages 387\u2013398. IEEE, 1991.","key":"44_CR23","DOI":"10.1109\/LICS.1991.151662"},{"unstructured":"Tom Verhoeff. A Theory of Delay-Insensitve Systems. PhD thesis, Eindhoven University of Technology, 1994.","key":"44_CR24"},{"unstructured":"J. Zwiers. Compositionality, Concurrency and Partial Correctness, LNCS 321. Springer-Verlag, 1989.","key":"44_CR25"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:22:52Z","timestamp":1742599372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}