{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:31:42Z","timestamp":1743021102506,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":12,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048136599"},{"type":"electronic","value":"9789048136605"}],"license":[{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,15]],"date-time":"2009-12-15T00:00:00Z","timestamp":1260835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-90-481-3660-5_85","type":"book-chapter","created":{"date-parts":[[2010,2,12]],"date-time":"2010-02-12T15:11:46Z","timestamp":1265987506000},"page":"491-496","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Equivalence Theorem for the Specification of Asynchronous Communication Systems (SACS) and Asynchronous Message Passing System (AMPS)"],"prefix":"10.1007","author":[{"given":"A.V.S.","family":"Rajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.S.","family":"Bavan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Abeysinghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,15]]},"reference":[{"key":"85_CR1","unstructured":"A. S. Bavan and E. Illingworth. Design and implementation of reliable point-to-point asynchronous message passing system. In Proceedings of The 10th International Conference on Computing and Information ICCI \u20192000, Kuwait, (18th\u201321st November 2000). ICCI, 2000."},{"key":"85_CR2","volume-title":"A Language for Implementing Parallel and distributed Systems using asynchronous point-to-point communication","author":"A.S. Bavan","year":"2001","unstructured":"A. S. Bavan and E. Illingworth. A Language for Implementing Parallel and distributed Systems using asynchronous point-to-point communication. Nova Science Publishers, Inc., Commack, NY, USA, 2001."},{"key":"85_CR3","unstructured":"A. S. Bavan, E. Illingworth, A. V. S. Rajan, and G. Abeysinghe. Specification of Asynchronous Communicating Systems (SACS). In Proceedings of IADIS Internationa Conference Applied Computing 2007, Salamanca, Spain (18th\u201320th February 2007). IADIS, 2007."},{"key":"85_CR4","unstructured":"A. S. Bavan, A. V. S. Rajan, and G. Abeysinghe. Asynchronous message passing architecture for a distributed programming language. In Proceedings of IADIS International Conference Applied Computing 2007, Salamanca, Spain (18th\u201320th February 2007). IADIS, 2007."},{"key":"85_CR5","unstructured":"V. Galpin. Equivalence semantics for concurrency: comparison and application. PhD thesis, ECS-LFCS-98-397, Department of Computer Science, University of Edinburgh, 1998."},{"key":"85_CR6","doi-asserted-by":"crossref","unstructured":"D. Gray. Introduction to the Formal Design of Real-Time Systems. Springer, Paperback, 2000.","DOI":"10.1007\/978-1-4471-0889-4"},{"issue":"8","key":"85_CR7","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the Association of Computing Machinery, 21(8):666\u2013677, 1978.","journal-title":"Communications of the Association of Computing Machinery"},{"key":"85_CR8","doi-asserted-by":"crossref","unstructured":"L. Logrippo, T. Melanchuck, and R. J. D.Wors. An algebraic specification language lotos: An industrial experience. In Proc. ACM SIGSOFT Int\u2019l. Workshop on Formal Methods in Software Development, pages 59\u201366, 1990.","DOI":"10.1145\/99571.99817"},{"key":"85_CR9","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer Verlag, New York Inc.,, 1982."},{"key":"85_CR10","unstructured":"A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe. Semantics for an Asynchronous Message Passing System, volume XVIII of Advances and Innovations in Systems, Computing Sciences and Software Engineering. Springer, 2007."},{"key":"85_CR11","first-page":"33","volume-title":"Semantics for the Specification of Asynchronous Communicating Systems (SACS)","author":"A.V.S. Rajan","year":"2008","unstructured":"A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe. Semantics for the Specification of Asynchronous Communicating Systems (SACS), pages 33\u201338. Advances in Computer and Information Sciences and Engineering. Springer Netherlands, 2008."},{"key":"85_CR12","unstructured":"E. Tuosto. Non Functional Aspects of Wide area Network Programming. PhD thesis, Dipartimento di Informatica, Univ. Pisa, 2003."}],"container-title":["Advanced Techniques in Computing Sciences and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-3660-5_85","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T03:35:40Z","timestamp":1676691340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-3660-5_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,15]]},"ISBN":["9789048136599","9789048136605"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-3660-5_85","relation":{},"subject":[],"published":{"date-parts":[[2009,12,15]]},"assertion":[{"value":"15 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}