{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:08Z","timestamp":1725663248060},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:22:49Z","timestamp":1330194169000},"page":"246-267","source":"Crossref","is-referenced-by-count":27,"title":["Categories of models for concurrency"],"prefix":"10.1007","author":[{"given":"Glynn","family":"Winskel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"12_CR1","unstructured":"Abramsky, S., Domain theory as a theory of experiments. In this proceedings (1984)."},{"key":"12_CR2","unstructured":"Abramsky, S., Ph. D. thesis, University of London. In preparation."},{"key":"12_CR3","unstructured":"Aczel, P., An introduction to inductive definitions. In the handbook of Mathematical Logic, Ed. Barwise, J., North-Holland (1983)."},{"key":"12_CR4","unstructured":"Arbib, M.A.,and Manes,E.G., Arrows, Structures and Functors, The categorical imperative. Academic Press (1975)."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Brooks, S.D., On the relationship of CCS and CSP, ICALP 1983.","DOI":"10.1007\/BFb0036899"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brauer, W.(Ed.), Net Theory and Applications, Springer-Verlag Lecture Notes in Comp. Sci., vol.84 (1980).","DOI":"10.1007\/3-540-10001-6_40"},{"key":"12_CR7","unstructured":"Campbell, R. H., and Habermann, A. N.,, The Specification of Process Synchronisation by Path Expressions. Springer-Verlag Lecture Notes in Comp. Sc. Vol.16 (1974)."},{"key":"12_CR8","unstructured":"Goltz, U. and Reisig, W., Processes of Place\/Transition Nets. Icalp 83 and to appear in Information and Control."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Goltz, U. and Mycroft, A., On the relationship of CCS and Petri nets. ICALP 84 Springer-Verlag Lecture Notes in Comp. Sc. Vol.172 (1984).","DOI":"10.1007\/3-540-13345-3_18"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating sequential processes. Comm. ACM 21 (1978).","DOI":"10.1145\/359576.359585"},{"key":"12_CR11","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":"12_CR12","doi-asserted-by":"crossref","unstructured":"Lehmann, D., Categories for fixed-point semantics. FOCS 17 (1976).","DOI":"10.1109\/SFCS.1976.9"},{"key":"12_CR13","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":"12_CR14","unstructured":"Labella, A., and Peterossi, A., Towards a Categorical Understanding of Parallelism. Report of Istituto di Analisi dei Sistemi ed Informatica del C.N.R., Rome (1983)."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K. and Winskel, G., Using Information Systems to solve Recursive Domain Equations Effectively. Springer Lecture Notes in Comp. Sc., vol. 173 (1984).","DOI":"10.1007\/3-540-13346-1_5"},{"key":"12_CR16","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"},{"key":"12_CR17","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":"12_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Calculi for synchrony and asynchrony, Theoretical Computer Science, pp.267\u2013310 (1983).","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"12_CR19","unstructured":"Milne, G., CIRCAL and the representation of communication, concurrency and time. Report of Comp Sc Dept, University of Edinburgh (1983)."},{"key":"12_CR20","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"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Pratt, V. R., On the composition of processes. ACM, Stanford University (1982), and see the paper in this proceedings.","DOI":"10.1145\/582153.582177"},{"key":"12_CR22","unstructured":"Peterson, J. L., Petri Net Theory and the Modelling of Systems. Prentice-Hall (1981)."},{"key":"12_CR23","unstructured":"Reisig, W., Petri nets. Springer Lecture Notes in Comp. Sc., to appear."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Scott, D., Domains for Denotational Semantics, Springer-Verlag Lecture Notes in Comp. Sc. 140 (1982).","DOI":"10.1007\/BFb0012801"},{"key":"12_CR25","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":"12_CR26","unstructured":"Student projects for the course \u201cModels for Concurrency\u201d, Computer Science Dept., University of Aarhus, Denmark (1980)."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Smyth, M.B., Power domains and predicate transformers: a topological view. Proc. of ICALP 83, Springer Lecture Notes in Comp. Sc. vol. 154 (1983).","DOI":"10.1007\/BFb0036946"},{"key":"12_CR28","unstructured":"Winskel, G., Events in Computation. Ph.D. thesis, University of Edinburgh (1980)."},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Winskel, G., Event structure semantics of CCS and related languages, Springer-Verlag Lecture Notes in Comp. Sc. 140 and as a report of the Computer Sc. Dept., University of Aarhus, Denmark (1982).","DOI":"10.1007\/BFb0012800"},{"key":"12_CR30","unstructured":"Winskel, G., Synchronisation trees. Technical Report, Comp. Sc. Dept., Carnegie-Mellon University (1983).To appear in Theoretical Computer Science."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Winskel, G., A New Definition of Morphism on Petri Nets. Springer Lecture Notes in Comp Sc, vol. 166 and also as a report of the Computer Laboratory, University of Cambridge (1984).","DOI":"10.1007\/3-540-12920-0_13"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Winskel, G., A note on powerdomains and modality. Springer Lecture Notes in Comp Sc, vol. 158 (1984).","DOI":"10.1007\/3-540-12689-9_131"},{"key":"12_CR33","unstructured":"Winskel, G., A complete proof system for SCCS with modal assertions. In preparation."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:39Z","timestamp":1605643719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}