{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:11Z","timestamp":1725663371469},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_42","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:09Z","timestamp":1330192809000},"page":"229-239","source":"Crossref","is-referenced-by-count":2,"title":["Non-sequential behaviour"],"prefix":"10.1007","author":[{"given":"M. W.","family":"Shields","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"20_CR1","first-page":"21","volume":"17","author":"A. Arnold","year":"1981","unstructured":"Arnold, A., Synchronised Behaviours of Processes and Rational Relations. Acta Informatica 17:21\u201330, 1981.","journal-title":"Acta Informatica"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Brauer, W. (ed.), LNCS. Volume 84: Net Theory and Application. Springer, 1980.","DOI":"10.1007\/3-540-100016"},{"key":"20_CR3","unstructured":"Janicki, R., Characterisation of Concurrency-like Relations. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS. Vol. 70. Springer, 1979."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"Lauer, P.E., Campbell, R.H., Formal Semantics for a Class of High Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5: 247\u2013332, 1975.","journal-title":"Acta Informatica"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A., Concurrent Program Schemes and their Interpretation. In Proceedings, Aarhus Workshop on Verification of Parallel Processes, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"20_CR6","unstructured":"Nielsen, M., Plotkin, G., Winskel, G., Petri Nets, Event Structures and Domains. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS Vol. 70. Springer, 1979."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Nivat, M., Infinitary Relations. 6th Colloquium on Trees in Algebra and Programming, \"CAAP 81\", Genoa, 1981, e.d. Estesiono and C. B\u00f6hm, LNCS 112, pp 46\u201375.","DOI":"10.1007\/3-540-10828-9_54"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Adequate Path Expressions. In Giles Kahn (ed.), Proc. Symposium on the Semantics of Concurrent Computation, LNCS Vol. 70. Springer, 1979.","DOI":"10.1007\/BFb0022473"},{"key":"20_CR9","unstructured":"Shields, M.W., On the Non-sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Technical Report CRS-92-81, University of Edinburgh, Department of Computer Science, September 1981."},{"key":"20_CR10","unstructured":"Shields, M.W., Concurrency, Correctness, Proof and Undecidability in SDL-like Systems, Technical Report CSR-119-82, University of Edinburgh, Department of Computer Science, June, 1982."},{"key":"20_CR11","unstructured":"Shields, M.W., Non-sequential Behaviours 1. Technical Report CRS-120-82, University of Edinburgh, Department of Computer Science, June, 1982."},{"key":"20_CR12","unstructured":"Shields, M.W., Non-sequential Behaviours 2. Technical Report CRS-144-83, University of Edinburgh, Department of Computer Science, October, 1983."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Lauer, P.E., A Formal Semantics for Concurrent Systems. In Proceedings ICALP 6, LNCS Vol. 71, Springer, 1979.","DOI":"10.1007\/3-540-09510-1_46"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Lauer, P.E., Verifying Concurrent System Specifications in COSY. In Proc. MFCS 8, LNCS Vol. 88, 1980.","DOI":"10.1007\/BFb0022534"},{"issue":"8\u20139","key":"20_CR15","first-page":"389","volume":"17","author":"P. Starke","year":"1981","unstructured":"Starke, P., Processes in Petri Nets, Elektronische Informationsverarbeitung und Kybernetik 17(8\u20139): 389\u2013416, 1981.","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"20_CR16","unstructured":"Winskel, G., Events in Computation (Ph.D. thesis). University of Edinburgh, Department of Computer Science, 1980."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Winskel, G., Event Structures Semantics for CCS and Related Languages, Technical Report DAIMIPB-159, Aarhus University, Computer Science Department, April, 1983.","DOI":"10.1007\/BFb0012800"},{"issue":"3","key":"20_CR18","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0304-3975(82)90079-2","volume":"21","author":"J. Winkowski","year":"1982","unstructured":"Winkowski, J., An Algebraic Description of Systems Behaviours, Theoretical Computer Science 21(3):215\u2013340, December 1982.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:57Z","timestamp":1605643617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}