{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T02:16:14Z","timestamp":1774404974628,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569398","type":"print"},{"value":"9783540478263","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:56:37Z","timestamp":1330239397000},"page":"544-557","source":"Crossref","is-referenced-by-count":11,"title":["The fork calculus"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner, and D.N. Turner. A Semantics for ML Concurrency Primitives. In Proceedings of the 19th ACM Symphosium on Principles of Programming Languages, 1992.","DOI":"10.1145\/143165.143191"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"J. F. Groote and F. W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. LNCS, 372, 1989.","DOI":"10.1007\/BFb0035774"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, 32(1), January 1985.","DOI":"10.1145\/2455.2460"},{"key":"45_CR4","unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989."},{"key":"45_CR5","unstructured":"F. Moller. The Importance of the Left Merge Operator in Process Algebra. LNCS, 443, 1990."},{"key":"45_CR6","unstructured":"S. Prasad, A. Giacalone, and P. Mishra. Operational and Algebraic Semantics for Facile. In Proceedings of ICALP90, LNCS 443, 1990."},{"key":"45_CR7","volume-title":"FN 19","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A Structural Approach to Operational Semantics. FN 19, DAIMI, Aarhus University, Denmark, 1981."},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. CML: A Higher-order Concurrent Language. In ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (SIGPLAN Notices 26(6)), 1991.","DOI":"10.1145\/113446.113470"},{"key":"45_CR9","unstructured":"J.H. Reppy. An Operational Semantics of First-class Synchronous Operations. Technical Report TR 91-1232, Cornell University, Department of Computer Science, 1991."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:21Z","timestamp":1605629241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}