{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:12Z","timestamp":1761611172293},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607489"},{"type":"electronic","value":"9783540493587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0034753","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T11:01:32Z","timestamp":1134298892000},"page":"103-116","source":"Crossref","is-referenced-by-count":4,"title":["Refinement mapping for general (discrete event) systems theory"],"prefix":"10.1007","author":[{"given":"P. Blauth","family":"Menezes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F\u00e9lix","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"8_CR1","unstructured":"M. A. Arbib, E. G. Manes, Arrows, Structures and Functors \u2014 The Categorial Imperative, Academic Press, 1975."},{"key":"8_CR2","unstructured":"A. Asperti, G. Longo, Categories, Types and Structures \u2014 An Introduction to the Working Computer Science, Foundations of Computing (M. Garey, A. Meyer Eds.), MIT Press, 1991."},{"key":"8_CR3","unstructured":"M. A. Bednarczyk, Categories of Asynchronous Systems, Ph.D. thesis, technical report 1\/88, University of Sussex, 1988."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"H. D. Ehrich, A. Sernadas, Algebraic Implementation of Objects over Objects, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (J. de Bakker, W.-P. de Roever, G. Rozenberg Eds.), pp. 239\u2013266, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_67"},{"key":"8_CR5","unstructured":"R. Gorrieri, Refinement, Atomicity and Transactions for Process Description Language, Ph.D. thesis, Universit\u00e0 di Pisa, 1990."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, Basic Notion of Trace Theory, REX 88: Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency (J. W. de Bakker, W.-P. de Roever, G. Rozenberg, Eds.), pp. 285\u2013363, LNCS 354, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0013025"},{"key":"8_CR8","unstructured":"P. B. Menezes, J. F. Costa, Synchronization in Petri Nets, preprint IST\/DM\/2-94, IST, Lisbon, 1993. Revised version accepted for publication in Fundamenta Informaticae."},{"key":"8_CR9","volume-title":"preprint IST\/DM\/26-94","author":"P. B. Menezes","year":"1994","unstructured":"P. B. Menezes, J. F. Costa, Compositional Refinement of Concurrent Systems, preprint IST\/DM\/26-94, IST, Lisbon, 1994. Revised version accepted for publication in the Journal of the Brazilian Computer Society \u2014 Special Issue on Parallel Computation."},{"key":"8_CR10","volume-title":"preprint IST\/DM\/24-94","author":"P. B. Menezes","year":"1994","unstructured":"P. B. Menezes, J. F. Costa, Object Refinement, preprint IST\/DM\/24-94, IST, Lisbon, 1994."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. Meseguer, U. Montanari, Petri Nets are Monoids, Information and Computation 88, pp. 105\u2013155, Academic Press, 1990.","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"8_CR12","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1989."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C. Rattray, The Shape of Complex Systems, EUROCAST 93: Computer Aided Systems Theory (F. Pichler, R. M. D\u00edaz, Eds.), pp. 72\u201382, LNCS 763, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-57601-0_41"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, G. Winskel, A Classification of Models for Concurrency, CONCUR 93: 4th International Conference of Concurrency (E. Best, Ed.), pp. 82\u201396, LNCS 715, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_7"},{"key":"8_CR16","unstructured":"M. E. Szabo, Algebra of Proofs, Studies in Logic and the Foundations of Mathematics, vol. 88, North-Holland, 1978."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"G. Winskel, Petri Nets, Algebras, Morphisms and Compositionality, Information and Computation 72, pp. 197\u2013238, Academic Press, 1987.","DOI":"10.1016\/0890-5401(87)90032-0"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:24:48Z","timestamp":1683321888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607489","9783540493587"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0034753","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}