{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:46Z","timestamp":1763467726121},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022474","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"266-284","source":"Crossref","is-referenced-by-count":29,"title":["Petri nets, event structures and domains"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Plotkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glynn","family":"Winskel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Best, E. (1977) A Theorem on the Characteristics of Non-Sequential Processes. Computing Laboratory Technical Report No. 116, University of Newcastle-upon-Tyne."},{"key":"15_CR2","unstructured":"Kahn, G. and Plotkin, G.D. (1978) Domaines Concrets. IRIA Rapport de Recherche No. 336, IRIA, France."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1147\/rd.202.0138","volume":"20","author":"G. Markowsky","year":"1976","unstructured":"Markowsky, G. and Rosen, B. (1976) Bases for Chain-Complete Posets. IBM J. Res. and Develop., Vol. 20, 138\u2013147.","journal-title":"IBM J. Res. and Develop."},{"key":"15_CR4","unstructured":"Mazurkiewicz, A. (1977) Concurrent Program Schemes and their Interpretations, DAIMI PB-78 (Aarhus Univ. Publ.), July 1977."},{"key":"15_CR5","unstructured":"Petri, C.A. (1976) Nichtsequentielle Prozesse Arbeitsberichte des IMMD, Bd. 9, Heft. 8, p.57ff. Universit\u00e4t Erlangen-N\u00fcrnberg. Also: Non-Sequential Processes, Translation by P. Krause and J. Low. Internal Report GMD-ISF-77-05. Bonn (1977)."},{"key":"15_CR6","unstructured":"Petri, C.A. (1977) General Net Theory. Communication Disciplines. Proc. Joint IBM Univ. of Newcastle Seminar 1976 (ed. B. Shaw) University of Newcastle-upon-Tyne."},{"key":"15_CR7","unstructured":"Scott, D. (1970) Outline of a Mathematical Theory of Computation. Proc. of 4th Ann. Princeton Conf. on Information Sciences and Systems, pp. 169\u2013176."},{"key":"15_CR8","first-page":"311","volume-title":"Lecture Notes in Mathematics","author":"D. Scott","year":"1971","unstructured":"Scott, D. (1971) The lattice of flow diagrams. Symposium on Semantics of Algorithmic Languages (ed. E. Engeler) Lecture Notes in Mathematics, Vol. 188, Springer-Verlag, New York, pp. 311\u2013366."},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D. (1976) Data Types as Lattices. SIAM J. Comput., Vol. 5, No. 3, 522\u2013587.","journal-title":"SIAM J. Comput."},{"key":"15_CR10","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1978","unstructured":"Stoy, J.E. (1978) Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge: MIT Press."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022474.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:36Z","timestamp":1607550516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0022474","relation":{},"subject":[]}}