{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:49Z","timestamp":1742617129595,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:05:26Z","timestamp":1330207526000},"page":"185-222","source":"Crossref","is-referenced-by-count":2,"title":["Transition systems with algebraic structure as models of computations"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"8_CR1","unstructured":"Asperti, A., Longo, G., Applied Category Theory, Technical Report TR-18\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1989. Forthcoming by MIT Press, 1990."},{"key":"8_CR2","unstructured":"Asperti, A., Martini, S., Projections instead of variables: A category theoretic interpretation of logic programs, Proc. 6th Int. Conf. on Logic Programming, Lisboa, Portugal, 1989, pp. 337\u2013352."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/0890-5401(88)90017-X","volume":"79","author":"D. Benson","year":"1988","unstructured":"Benson, D., Ben-Shachar O., Bisimulations of Automata, Information and Computation, 79, 1988, pp. 60\u201383.","journal-title":"Information and Computation"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I., Concurrency and Atomicity, Theoretical Computer Science 59, 1988, pp. 25\u201384.","journal-title":"Theoretical Computer Science"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Boudol, G., Castellani, I., Permutation of Transition: an Event Structure Semantics for CCS and SCCS, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1989.","DOI":"10.1007\/BFb0013028"},{"issue":"1","key":"8_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best E., Devillers R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoretical Computer Science, 55 (1), 1987, pp. 87\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, W., Process Algebra for Syncronous Communication, Information and Control, 60, 1984, pp. 109\u2013137.","journal-title":"Information and Control"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Barr, M., Wells, C., Toposes, Triples and Theories, Grundlehren der mathematischen Wissenschaften 278, Springer Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"8_CR9","unstructured":"Casley, R., Crew, R., Meseguer, J., Pratt, W., Temporal Structures, in in Third Symposium on Category Theory and Computer Science, LNCS 389, 1989, to appear in Mathematical Structures in Computer Science."},{"key":"8_CR10","unstructured":"Corradini, A., Montanari, U., An Algebraic Representation of Logic Program Computations, Technical Report TR-36\/89, Dipartimento di Informatica, Universit\u00e0 di Pisa, Dec. 1989. Also in Lassez, J., Editor, Festschrift in Honor of J. A. Robinson, to appear."},{"key":"8_CR11","first-page":"95","volume":"415","author":"A. Corradini","year":"1990","unstructured":"Corradini, A., Montanari, U., Towards a Process Semantics in the Logic Programming Style, in Proc. 7th Symposium on Theoretical Aspects of Computer Science, STACS '90, LNCS 415, 1990, pp. 95\u2013108.","journal-title":"LNCS"},{"key":"8_CR12","unstructured":"Corradini, A., An Algebraic Semantics for Transition Systems and Logic Programming, Ph.D. Thesis TD-8\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa, March '90."},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"Degano, P., De Nicola, R. Montanari, U., A Distributed Operational Semantics for CCS based on Condition\/Event Systems, Acta Informatica, 26, 1988, pp. 59\u201392.","journal-title":"Acta Informatica"},{"key":"8_CR14","unstructured":"Degano, P., De Nicola, R. Montanari, U. A Partial Ordering Semantics for CCS, Technical Report TR-3\/88, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1988 (To appear on Theoretical Computer Science)"},{"key":"8_CR15","first-page":"438","volume":"354","author":"P. Degano","year":"1989","unstructured":"Degano, P., De Nicola, R., Montanari, U., Partial Ordering Descriptions and Observations of Nondeterministic Concurrent Processes, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1989, pp.438\u2013466.","journal-title":"LNCS"},{"key":"8_CR16","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., Montanari, U., Concurrent Histories, A Basis for Observing Concurrency, Journal of Computer and System Science, 34, 1987, pp.422\u2013461.","journal-title":"Journal of Computer and System Science"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. 4th Annual Symposium on Logic in Computer Science, Asilomar, CA, USA, 1989, pp.175\u2013185.","DOI":"10.1109\/LICS.1989.39172"},{"key":"8_CR18","unstructured":"Ferrari, G., Unifying Models of Concurrency, Ph.D. Thesis TD-4\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa, March '90."},{"issue":"1\u20133","key":"8_CR19","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M. Falaschi","year":"1984","unstructured":"Falaschi, M., Levi, G., Palamidessi, C., A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses, in Inf. and Control, 60 (1\u20133), Academic Press, 1984, pp. 36\u201369.","journal-title":"Inf. and Control"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Ferrari, G., Montanari, U., Towards the Unification of Models for Concurrency, in Proc. CAAP 1990, LNCS 431, pp.162\u2013176.","DOI":"10.1007\/3-540-52590-4_47"},{"key":"8_CR21","unstructured":"Ferrari, G., Montanari, U., Mowbray, M., On Causality Observed Incrementally, Finally, Submitted for pubblication."},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(90)90035-G","volume":"72","author":"R. Gorrieri","year":"1990","unstructured":"Gorrieri, R., Marchetti, S., Montanari, U. A 2 CCS: Atomic Actions for CCS, Theoretical Computer Science, 72, 1990, pp.203\u2013223.","journal-title":"Theoretical Computer Science"},{"key":"8_CR23","series-title":"SRI Research Report","volume-title":"What is Unification? A Categorical View of Substitution, Equation and Solution","author":"J.A. Goguen","year":"1988","unstructured":"Goguen, J.A., What is Unification? A Categorical View of Substitution, Equation and Solution, SRI Research Report SRI-CSL-88-2R2, SRI International, Menlo Park, California, 1988."},{"key":"8_CR24","unstructured":"Goguen, J.A., A Categorical Manifesto, Technical Monograph PRG-72, Oxford University Computing Laboratory, Programming Research Group, March 1989, to appear in Mathematical Structures in Computer Science."},{"key":"8_CR25","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz U., Reisig W., The Non Sequential Behaviour of Petri Nets, Information and Computation, 57, 1983, pp. 125\u2013147.","journal-title":"Information and Computation"},{"key":"8_CR26","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":"8_CR27","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"7","author":"R. Keller","year":"1976","unstructured":"Keller, R., Formal Verification of Parallel Programs, Com. ACM, 7, 1976, pp. 371\u2013384.","journal-title":"Com. ACM"},{"key":"8_CR28","unstructured":"Lawvere, F.W., Functorial Semantics of Algebraic Theories, PhD Thesis, Columbia University."},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, Springer Verlag, 1984, (Second Edition 1987).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Meseguer, J., General Logics, in Proc. Logic Colloquium '87, H.-D. Ebbinghaus et al. (eds), North-Holland, 1989, pp. 275\u2013329.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"8_CR31","unstructured":"Meseguer, J., Rewriting as a Unified Model of Concurrency, Technical Report SRI-CSL-90-02, SRI International, February '90, to appear in Proc. CONCUR '90."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Systems. LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR33","unstructured":"Milner, R., Concurrency and communication, Prentice Hall, 1989."},{"key":"8_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., Categories for the Working Mathematician, Springer Verlag, New York, 1971."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Montanari, U., Petri Nets are Monoids: A New Algebraic Foundation for Net Theory. Proc. Logics In Computer Science, Edinburgh, 1988, pp. 155\u2013164. Also SRI-CSL-88-3, Jan. 88, to appear in Info and Co.","DOI":"10.1109\/LICS.1988.5114"},{"key":"8_CR36","unstructured":"Montanari, U., Sassone, V., Dynamic Bisimulation, Technical Report TR-13\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1990."},{"key":"8_CR37","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BFb0018342","volume":"389","author":"U. Montanari","year":"1989","unstructured":"Montanari, U., Yankelevich, D., An Algebraic View of Interleaving and Distributed Operational Semantics, in Third Symposium on Category Theory and Computer Science, LNCS 389, 1989, pp. 5\u201320.","journal-title":"Third Symposium on Category Theory and Computer Science, LNCS"},{"key":"8_CR38","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin G., Winskel G,. Petri Nets, Event Structures and Domains, Part1. Theoretical Computer Science, 13, 1981, pp. 85\u2013108.","journal-title":"Theoretical Computer Science"},{"key":"8_CR39","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences, in Proc. GI, LNCS 104, 1981, pp. 167\u2013183.","journal-title":"LNCS"},{"key":"8_CR40","volume-title":"Kommunication mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A., Kommunication mit Automaten, Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn 1962."},{"key":"8_CR41","series-title":"Technical Report","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G., A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Aarhus University, Department of Computer Science, Aarhus, 1981."},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Pnueli, A., The Temporal Logic of Programs, in 18-th Symp. on Foundations of Computer Science, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"8_CR43","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V., Modelling Concurrency with Partial Orders, Int. Journal of Parallel Programming, 15, 1986, pp.33\u201371.","journal-title":"Int. Journal of Parallel Programming"},{"key":"8_CR44","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":"8_CR45","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"E.W. Stark","year":"1989","unstructured":"Stark, E.W., Concurrent Transition Systems, Theo. Comp. Scie., 64, 1989, pp. 221\u2013269.","journal-title":"Theo. Comp. Scie."},{"key":"8_CR46","first-page":"561","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel, G., Event Structures for CCS and Related Languages, Proc. 9th ICALP, LNCS 140, 1982, pp. 561\u2013576.","journal-title":"LNCS"},{"key":"8_CR47","first-page":"393","volume":"255","author":"G. Winskel","year":"1987","unstructured":"Winskel, G., Event Structures Invited lecture for the Advanced Course on Petri Nets, LNCS 255, 1987, pp. 393\u2013415.","journal-title":"LNCS"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Winskel, G., An Introduction to Event Structures, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1989.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:09:13Z","timestamp":1742591353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}