{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:31Z","timestamp":1774915531045,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540179061","type":"print"},{"value":"9783540479260","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:18:04Z","timestamp":1330197484000},"page":"325-392","source":"Crossref","is-referenced-by-count":276,"title":["Event structures"],"prefix":"10.1007","author":[{"given":"Glynn","family":"Winskel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"13_CR1","unstructured":"Aczel, P., A note on Scott's theory of domains. Unpublished note, Math. Dept., Univ. of Manchester, (1983)."},{"key":"13_CR2","unstructured":"Aczel, P., An introduction to inductive definitions. In the handbook of Mathematical Logic, Ed. Barwise, J., North-Holland (1983)."},{"key":"13_CR3","unstructured":"Berry, G., Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des lambda-calculs typ\u00e9s. Th\u00e8se de Doctorat d'Etat, Universit\u00e9 de Paris VII (1979)."},{"key":"13_CR4","unstructured":"Brookes, S.D., On the relationship of CCS and CSP. ICALP 1983, in Springer-Verlag Lecture Notes in Comp. Sc., vol.154 (1984)."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Lautenbach, K., and Thiagarajan, P.S., Elements of general net theory. In Net Theory and Applications, (Ed. Brauer, W.), Springer-Verlag Lecture Notes in Comp. Sci., vol.84 (1980).","DOI":"10.1007\/3-540-10001-6_22"},{"key":"13_CR6","unstructured":"Curien, P.L., Categorical combinators, sequential algorithms and functional programming. Research notes in theoretical comp. sc., Pitman, London (1986)."},{"key":"13_CR7","unstructured":"Coquand, T., Gunter, C., and Winskel, G., Polymorphism and domain equations. Submitted to Third Workshop on the Mathematical Foundations of Programming Language Semantics, New Orleans, LA 1987."},{"key":"13_CR8","volume-title":"En semantik for synkroniserede parallelle processer","author":"T. Fogh","year":"1981","unstructured":"Fogh, T., En semantik for synkroniserede parallelle processer. Master's thesis, Comp. Sc., Aarhus Univ., Denmark (1981)."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Girard, J.Y., The system F of variable types, fifteen years later. Manuscript, (1985).","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"13_CR10","unstructured":"Goltz, U. and Reisig, W., Processes of Place\/Transition Nets. Icalp 83 and appears in Information and Control (1984)."},{"key":"13_CR11","unstructured":"Hewitt, C., and Baker, H., Actors and continuous functionals. In \u201cFormal description of programming concepts (ed. E.Neuhold), North Holland (1978)."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating sequential processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"13_CR13","unstructured":"Hoare, C.A.R., Brookes, S.D., and Roscoe, A.W., A Theory of Communicating Processes, Technical Report PRG-16, Programming Research Group, University of Oxford (1981); in JACM (1984)."},{"key":"13_CR14","unstructured":"Kahn, G., and Plotkin, G., Domaines Concr\u00e8tes. Rapport IRIA Laboria No. 336 (1978)."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Lamport, L., Time clocks and the ordering of events in a distributed system. CACM 21, (1978).","DOI":"10.1145\/359545.359563"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K., and Winskel, G., Using information systems to solve recursive domain equations effectively. In the proceedings of the conference on Abstract Datatypes, Sophia-Antipolis, France in June 1984. Full version submitted to the journal \u201cInformation and Control\u201d and appears as a report of the Computer Laboratory, University of Cambridge (1983).","DOI":"10.1007\/3-540-13346-1_5"},{"key":"13_CR17","first-page":"297","volume":"5","author":"P. E. Lauer","year":"1974","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 (1974).","journal-title":"Acta Informatica"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A., Concurrent program schemes and their interpretations. Report PB-78 of the Computer Sc. Dept., University of Aarhus, Denmark (1977).","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Maclane, S., Categories for the Working Mathematician. Graduate Texts in Mathematics, Springer (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"1","key":"13_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner, R., Fully abstract models of typed lambda-calculi. Theor. Comp. Sc., vol.4(1), 1\u201323 (1977).","journal-title":"Theor. Comp. Sc."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Systems. Springer Lecture Notes in Comp. Sc. vol. 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R., Calculi for synchrony and asynchrony. Theoretical Computer Science 25, pp.267\u2013310 (1983).","journal-title":"Theoretical Computer Science"},{"key":"13_CR23","unstructured":"Montanari, U., and Simonelli, C., On distinguishing between concurrency and nondeterminism. Proc. Ecole de Printemps on Concurrency and Petri nets, Colleville (1980)."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Plotkin, G., Winskel, G., Petri nets, Event structures and Domains, part 1. Theoretical Computer Science, vol. 13 (1981).","DOI":"10.1016\/0304-3975(81)90112-2"},{"issue":"3","key":"13_CR25","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. D. Plotkin","year":"1977","unstructured":"Plotkin, G.D., LCF considered as a programming language. Theor. Comp. Sc., vol.5(3), 223\u2013256 (1977).","journal-title":"Theor. Comp. Sc."},{"key":"13_CR26","unstructured":"Petri, C.A., Nonsequential processes. GMD-ISF Report ISF-77-05 (1977)."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Pratt, V. R., On the composition of processes. Proc. of the 9th annual ACM symposium on Principles of Programming Languages, (1982).","DOI":"10.1145\/582153.582177"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Scott, D. S., Domains for Denotational Semantics. ICALP '82. Springer-Verlag Lecture Notes in Comp. Sc. 140 (1982).","DOI":"10.1007\/BFb0012801"},{"key":"13_CR29","unstructured":"Scott, D. S., Lectures on a mathematical theory of computation. Oxford University Computing Laboratory Technical Monograph PRG-19 (1981)."},{"key":"13_CR30","unstructured":"Shields, M., Non-sequential behaviours: 1 and 2. Reports of the Comp. Sc. Dept., University of Edinburgh (part 1: 1982, part 2: 1983)."},{"key":"13_CR31","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(83)90095-6","volume":"27","author":"M. B. Smyth","year":"1983","unstructured":"Smyth, M.B., The largest cartesian closed category of domains. Theor. Comp. Sc., vol. 27 pp. 109\u2013119 (1983).","journal-title":"Theor. Comp. Sc."},{"key":"13_CR32","unstructured":"Stoy, J. Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press (1977)."},{"key":"13_CR33","unstructured":"Winskel, G., Events in Computation. Ph.D. thesis, available as a technical report, Comp. Sc. Dept., University of Edinburgh (1980)."},{"key":"13_CR34","series-title":"Springer-Verlag Lecture Notes in Comp. Sc.","volume-title":"Event structure semantics of CCS and related languages","author":"G. Winskel","year":"1982","unstructured":"Winskel, G., Event structure semantics of CCS and related languages. Proc. ICALP '82. Springer-Verlag Lecture Notes in Comp. Sc. 140 and as a report of the Computer Sc. Dept., University of Aarhus, Denmark (1982)."},{"key":"13_CR35","unstructured":"Winskel, G., A representation of completely distributive algebraic lattices. Report of the Computer Science Dept., Carnegie-Mellon University (1983)."},{"key":"13_CR36","unstructured":"Winskel, G., Synchronisation trees. In Theoretical Computer Science, May 1985."},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Winskel, G., A New Definition of Morphism on Petri Nets. Springer Lecture Notes in Comp Sc, vol. 166 (1984).","DOI":"10.1007\/3-540-12920-0_13"},{"key":"13_CR38","unstructured":"Winskel, G., Categories of Models for Concurrency. In the proceedings of the workshop on the semantics of concurrency, Carnegie-Mellon University, Pittsburgh, Springer Lecture Notes in Computer Science 197 (July 1984), and appears as a report of the Computer Laboratory, University of Cambridge (1984)."},{"key":"13_CR39","unstructured":"Winskel, G., Petri nets, algebras, morphisms and compositionality. Report 79 of the Computer Laboratory, University of Cambridge. To appear in Information and Control. An extended abstract appears in \u201cAdvances in Petri Nets\u201d, Springer-Verlag Lecture Notes in Comp. Sc. (1985)."}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:58:34Z","timestamp":1640915914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}