{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T21:39:24Z","timestamp":1757540364847},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:28:22Z","timestamp":1330183702000},"page":"85-105","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["An exercise in concurrency: A CSP process as a condition\/event system"],"prefix":"10.1007","author":[{"given":"Pierpaolo","family":"Degano","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Marchetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/579.584","volume":"6","author":"K.R. Apt","year":"1984","unstructured":"Apt, K.R. and Francez, N.: Modeling the Distributed Termination Convention of CSP. TOPLAS 6, 3 (1984), 370\u2013379.","journal-title":"TOPLAS"},{"key":"5_CR2","unstructured":"Astesiano, E. and Zucca, E.: Semantics by Translation of CSP and its Relationship with \u03b2-Semantics. Proc. 10th MFCS, LNCS 118, Springer-Verlag, 1981."},{"key":"5_CR3","unstructured":"Best, E.: COSY: Its Relation to Nets and to CSP. In: Petri Nets: Applications and Relationships to Other Models of Concurrency (W. Brauer, W. Reisig and G. Rozenberg, Eds) LNCS 255, pp. 416\u2013440, Springer-Verlag, 1987."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R. and Roscoe, A.D. A Theory of Communicating Sequential Processes, Journal of ACM, 31, 3 (1984), 560\u2013599.","journal-title":"Journal of ACM"},{"key":"5_CR5","unstructured":"De Cindio, F., De Michelis, G., Pomello, L. and Simone, C.: A Petri Net Model for CSP. Proc. CIL '81, Barcellona 1981."},{"key":"5_CR6","unstructured":"Degano, P., De Nicola, R. and Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition\/Event Systems, Nota Interna I.E.I B4-21, 1987."},{"issue":"1\/2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P. and Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. Journal of Computer and System Sciences, 34, 1\/2 (1987), 422\u2013461.","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR8","unstructured":"Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Applications (W. Brauer, ed.) LNCS 84, pp. 21\u2013163, Springer-Verlag, 1980."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Goltz, U. and Reisig, W.: CSP Programs as Nets with Individual Tokens. LNCS 188, pp. 169\u2013196, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15204-0_11"},{"issue":"8","key":"5_CR10","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Process, CACM 21, 8, (1978), 666\u2013677.","journal-title":"CACM"},{"issue":"2","key":"5_CR11","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"Milne, G.: CIRCAL and the Representation of Communication, Concurrency and Time, ACM TOPLAS, 7, 2, (1985) pp. 270\u2013298.","journal-title":"ACM TOPLAS"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R.: Operational Petri Net Semantics for CCSP. In Advances in Petri Nets 1987, (G. Rozenberg, ed.) LNCS 266, pp. 196\u2013223, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_27"},{"key":"5_CR14","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. Lecture Notes, Aarhus University, Department of Computer Science, 1981."},{"key":"5_CR15","unstructured":"Plotkin, G.: An Operational Semantics for CSP. In: Formal Description of Programming Language Concepts-II (D. Bj\u00f8rner, ed.), North Holland Publishing Company, 1983, pp. 199\u2013223."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Partial Order Semantics versus Interleaving Semantics and its Impacts on Fairness, Proc. 11th ICALP, Antwerpen, 1984.","DOI":"10.1007\/3-540-13345-3_37"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"5_CR18","unstructured":"Taubner, D.: A Step Failures Consistent Translation of Regular TCSP to Finite and Safe Petri Nets. Internal Report, Technische Universit\u00e4t Munchen, 1987."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:27:53Z","timestamp":1558254473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}