{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:45Z","timestamp":1725496485570},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_9","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:50:17Z","timestamp":1196333417000},"page":"87-100","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for Formal Reasoning about Open Distributed Systems"],"prefix":"10.1007","author":[{"given":"Lars-\u00e5ke","family":"Fredlund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"9_CR1","unstructured":"J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Program-ming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd., 1996."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"T. Arts and M. Dam. Verifying a distributed database lookup manager written in Erlang. To appear in Proc. Formal Methods Europe\u201999, 1999.","DOI":"10.1007\/3-540-48119-2_38"},{"key":"9_CR3","first-page":"38","volume":"1421","author":"T. Arts","year":"1998","unstructured":"T. Arts, M. Dam, L.-\u00e4a. Fredlund, and D. Gurov. System description: Verification of distributed Erlang programs. In Proc. CADE\u201998, Lecture Notes in Artificial Intelligence, vol. 1421, pp. 38\u201341, 1998.","journal-title":"Proc. CADE\u201998"},{"key":"9_CR4","first-page":"10","volume":"1","author":"S. Blau","year":"1998","unstructured":"S. Blau and J. Rooth. AXD 301-a new generation ATM switching system. Ericsson Review, 1:10\u201317, 1998.","journal-title":"Ericsson Review"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"M. Dam, L.-a. Fredlund, and D. Gurov. Toward parametric verification of open distributed systems. In Compositionality: the Significant Difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer, 1536:150\u2013185, 1998.","DOI":"10.1007\/3-540-49213-5_7"},{"key":"9_CR6","unstructured":"L. Fredlund. Towards a semantics for Erlang. Unpublished manuscript, Swedish Institute of Computer Science, 1999."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional \u00b5-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0304-3975(91)90033-X","volume":"87","author":"R. Milner","year":"1991","unstructured":"R. Milner and M. Tofte. Co-induction in relational semantics. Theoretical Com puter Science, 87:209\u2013220, 1991.","journal-title":"Theoretical Com puter Science"},{"key":"9_CR10","first-page":"59","volume":"5","author":"D. Park","year":"1970","unstructured":"D. Park. Fixpoint induction and proof of program semantics. Machine Intelligence, 5:59\u201378, 1970.","journal-title":"Machine Intelligence"},{"key":"9_CR11","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Aarhus University report DAIMI FN-19, 1981."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T20:47:09Z","timestamp":1684097229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}