{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:43Z","timestamp":1725662923070},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095101"},{"type":"electronic","value":"9783540351689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09510-1_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:43:49Z","timestamp":1330188229000},"page":"571-584","source":"Crossref","is-referenced-by-count":5,"title":["A formal semantics for concurrent systems"],"prefix":"10.1007","author":[{"given":"M. W.","family":"Shields","sequence":"first","affiliation":[]},{"given":"P. E.","family":"Lauer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF00264467","volume":"8","author":"T. Agerwala","year":"1977","unstructured":"Agerwala, T.: Some extended semaphore primitives, Acta Informatica 8, pp. 201\u2013220, 1977.","journal-title":"Acta Informatica"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Campbell, R.H., and Habermann, A.N.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science (Ed. G. Goos and J. Hartmanis) pp. 89\u2013102, V16 Springer Verlag, 1974.","DOI":"10.1007\/BFb0029355"},{"key":"46_CR3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"Lauer, P.E., and Campbell, R.H.: Formal semantics for a class of high level primitives for coordinating concurrent processes. Acta Informatica 5, pp. 297\u2013332, 1975.","journal-title":"Acta Informatica"},{"key":"46_CR4","unstructured":"Lauer, P.E., Shields, M.W. and Best, E.: On the design and certification of asynchronous systems of processes. Final Report Period 1976\u20131977. ASM\/45 Part 2: Formal Theory of the Basic COSY Notation. March 1978. ASM\/49 Part 1: COSY \u2014 a system specification language based on paths and processes. June, 1978. Computing Laboratory, University of Newcastle upon Tyne."},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"Lauer, P.E., and Torrigiani, P.R.: Towards a system specification language based on paths and processes. Tech. Report 120, Computing Laboratory, University of Newcastle upon Tyne, 1978.","DOI":"10.1007\/BF00266047"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretation. Presented at the Arhus Workshop on Verification of Parallel Processes, June 13\u201324. 1977, Arhus, Denmark.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"46_CR7","volume-title":"General Net Theory","author":"C. A. Petri","year":"1977","unstructured":"Petri, C.A.: General Net Theory, Proceedings of the Joint IBM University of Newcastle upon Tyne Seminar on Computing Systems Design, 7th\u201310th September 1976, (Ed. B. Shaw), Computing Laboratory, University of Newcastle upon Tyne, England, 1977."},{"key":"46_CR8","volume-title":"Proceedings of the International Conferences on Mathematical Studies of Information Processing","author":"M. W. Shields","year":"1978","unstructured":"Shields, M.W., Lauer, P.E.: On the abstract specification and formal analysis of synchronization properties of concurrent systems, In Proceedings of the International Conferences on Mathematical Studies of Information Processing, 1978 Kyoto, Springer-Verlag."}],"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-09510-1_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:10Z","timestamp":1605643270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09510-1_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095101","9783540351689"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-09510-1_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}