{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:35Z","timestamp":1725456035752},"publisher-location":"Berlin\/Heidelberg","reference-count":7,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019021X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026109","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"258-270","source":"Crossref","is-referenced-by-count":3,"title":["A2CCS: A simple extension of CCS for handling atomic actions"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Gorrieri","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Marchetti","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"R. Milner, Process Constructors and Interpretations, Proceedings of IFIP Congress '86, pp.507\u2013514."},{"key":"18_CR2","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"L. Castellano, G. De Michelis, and L. Pomello, Concurrency Vs. Interleaving: An Instructive Example, Bull. Europ. Ass. Theoretical Computer Science, 31, pp 12\u201315, 1987.","journal-title":"Bull. Europ. Ass. Theoretical Computer Science"},{"key":"18_CR3","unstructured":"G. Boudol and I. Castellani, Concurrency and Atomicity, Internal rapport INRIA Sophia-Antipolis."},{"key":"18_CR4","unstructured":"G. Boudol, Communication is an abstraction, INRIA Rapport de Recherche No 636, March 1987."},{"issue":"2","key":"18_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, On Interprocess Communication, Distributed Computing 1, 2 (1986), 77\u2013101, Springer.","journal-title":"Distributed Computing"},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/356842.356846","volume":"13","author":"P. A. Berstein","year":"1981","unstructured":"P. A. Berstein and N. Goodman, Concurrency control in distributed database systems, ACM Computing Surveys 13, 1981, pp 185\u2013222.","journal-title":"ACM Computing Surveys"},{"key":"18_CR7","unstructured":"N. Lynch and M. Merrit, Introduction to the Theory of Nested Transactions, to appear in TCS."}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:55:56Z","timestamp":1607550956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019021X"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0026109","relation":{},"subject":[]}}