{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:18:38Z","timestamp":1743135518809,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":7,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048191116"},{"type":"electronic","value":"9789048191123"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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-9112-3_5","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T15:55:19Z","timestamp":1277308519000},"page":"23-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel\/distributed Systems"],"prefix":"10.1007","author":[{"given":"Amala VijayaSelvi","family":"Rajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arumugam Siri","family":"Bavan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geetha","family":"Abeysinghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,20]]},"reference":[{"key":"5_CR1","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), ISBN 159033-116-8."},{"key":"5_CR2","unstructured":"E. Albert, M. Hanus, F. Huch, J. Olvier, and G. Vidal, in Proc. of the Int\u2019l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) (Elsevier Science Publishers, 2002), vol. 70 of Electronic Notes in Theoretical Computer Science."},{"key":"5_CR3","unstructured":"D. Berry, R. Milner, and D. N. Turner, in Annual Symposium on Principles of Programming Languages, Proceedings of the 19th ACM SIGPLAN-SIGACT (1992), pp. 119\u2013129."},{"key":"5_CR4","unstructured":"K. Mitchell, Tech. Rep., LFCS report ECS-LFCS-94-311 (1994)."},{"key":"5_CR5","unstructured":"A. S. Bavan, A. V. S. Rajan, and G. Abeysinghe, in Proceedings of IADIS International Conference Applied Computing 2007, Salamanca, Spain (18th\u201320th February 2007) (IADIS, 2007), URL http:\/\/www.pms.ifi.lmu.de\/publikationen\/#REWERSE-RP-2007-012."},{"key":"5_CR6","unstructured":"A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe, Semantics for an Asynchronous Message Passing System (Springer, 2007), vol. XVIII of Advances and Innovations in Systems, Computing Sciences and Software Engineering, ISBN 978-1-4020-6263-6."},{"key":"5_CR7","unstructured":"A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe, An equivalence theorem for the specification of asynchronous communication systems(SACS) and Asynchronous Message Passing Systems(AMPS) (Springer, Due in 2010), Advanced Techniques in Computing Sciences and Software Engineering, ISBN 978-90-481-3659-9."}],"container-title":["Innovations in Computing Sciences and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-90-481-9112-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T21:36:59Z","timestamp":1674509819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-90-481-9112-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9789048191116","9789048191123"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-90-481-9112-3_5","relation":{},"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"20 May 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}