{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:34Z","timestamp":1725516514368},"publisher-location":"Dordrecht","reference-count":8,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402087400"},{"type":"electronic","value":"9781402087417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8741-7_7","type":"book-chapter","created":{"date-parts":[[2008,8,11]],"date-time":"2008-08-11T16:51:59Z","timestamp":1218473519000},"page":"33-38","source":"Crossref","is-referenced-by-count":0,"title":["Semantics for the Specification of Asynchronous Communicating Systems (SACS)"],"prefix":"10.1007","author":[{"given":"A.V.S.","family":"Rajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"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","reference":[{"key":"7_CR1","unstructured":"S. Bavan, E. Illingworth, A. Rajan, and G. Abeysinghe, 2007. \u201cSpecification of Asynchronous Communicating Systems (SACS)\u201d. In: Proceedings of the 2007 IADIS conference on Applied Computing, Salamanca, Spain, 17-20 Feb 2007."},{"key":"7_CR2","unstructured":"S. Bavan and E. Illingworth, 2000. \u201cDesign and Implementation of Reliable Point-to-Point Asynchronous Message Passing System\u201d. In: Proceedings of the 10$th$ International Conference on Computing and Information ICCI\u20192000, Kuwait, 18$th-21st Nov 2000."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"W. Fokkink, and W. Fokkink, 2000. \u201cIntroduction to Process Algebra\u201d. 1st. Springer-Verlag New York, Inc.","DOI":"10.1007\/978-3-662-04293-9"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"D. Gray, 1999. \u201cIntroduction to the Formal Design of Real-Time Systems\u201d, Springer Verlag.","DOI":"10.1007\/978-1-4471-0889-4"},{"key":"7_CR5","unstructured":"R. Milner, 1982. \u201cA Calculus of Communicating Systems\u201d, Springer Verlag, New York Inc."},{"key":"7_CR6","unstructured":"E. Tuosto, 2003. \u201cNon Functional Aspects of Wide Area Network Programming\u201d. PhD Thesis, Departmento di Informatica, University of Pisa."},{"key":"7_CR7","unstructured":"E. Tuosto, 2006. \u201cResearch Reports in Computer Science - Concurrency and Mobility\u201d. University of Leicester: School of Mathematics & Computer Science."},{"key":"7_CR8","unstructured":"V.C. Galpin, 1998. \u201cEquivalence semantics for concurrency: comparison and application\u201d, Ph.D. Thesis, Department of Computer Science, University of Edinburgh, LFCS report ECS-LFCS-98-397, http:\/\/www.lfcs.informatics.ed.ac.uk\/reports."}],"container-title":["Advances in Computer and Information Sciences and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8741-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:23:10Z","timestamp":1619673790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8741-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402087400","9781402087417"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8741-7_7","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}