{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:15Z","timestamp":1761610395748,"version":"build-2065373602"},"reference-count":29,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(05)80239-7","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"245-273","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Nonsequential Automata Semantics for a Concurrent, Object-Based Language"],"prefix":"10.1016","volume":"14","author":[{"given":"P.","family":"Blauth Menezes","sequence":"first","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"J.","family":"F\u00e9lix Costa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"article-title":"\u201cCategories, Types and Structures - An Introduction to the Working Computer Science,\u201d Foundations of Computing","year":"1991","author":"Asperti","key":"10.1016\/S1571-0661(05)80239-7_BIB1"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB2","unstructured":"Bednarczyk, M.A., \u201cCategories of Asynchronous Systems,\u201d Ph.D. thesis, technical report 1\/88, University of Sussex, 1988."},{"key":"10.1016\/S1571-0661(05)80239-7_BIB3","series-title":"Mathematical Foundation of Computer Science \u203293","first-page":"382","article-title":"Data encapsulation and modularity: tree views of inheritance","author":"Costa","year":"1993"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB4","first-page":"5","article-title":"Object inheritance beyond subtyping","volume":"31","author":"Costa","year":"1994"},{"year":"1976","series-title":"\u201cA Discipline of Programming,\u201d","author":"Dijkstra","key":"10.1016\/S1571-0661(05)80239-7_BIB5"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB6","series-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","first-page":"239","article-title":"Algebraic implementation of objects over objects","author":"Ehrich","year":"1990"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB7","unstructured":"Fiadeiro, J. and J.F. Costa, Mirror, mirror in my hand\u2026 a duality between specifications and models of process behavior, accepted for publication in Mathematical Structures in Computer Science."},{"key":"10.1016\/S1571-0661(05)80239-7_BIB8","unstructured":"Gorrieri, R., \u201cRefinement, Atomicity and Transactions for Process Description Language,\u201d Ph.D. thesis, Universit di Pisa, 1990."},{"year":"1985","series-title":"\u201cCommunicating Sequential processes,\u201d","author":"Hoare","key":"10.1016\/S1571-0661(05)80239-7_BIB9"},{"year":"1971","series-title":"\u201cCategories for the Working Mathematician,\u201d","author":"Mac","key":"10.1016\/S1571-0661(05)80239-7_BIB10"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB11","first-page":"285","article-title":"Basic notion of trace theory","volume":"354","author":"Mazurkiewicz","year":"1988"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB12","unstructured":"Menezes, P.B., \u201cReification of Concurrent Objects,\u201d Ph.D. thesis (in Portuguese) Universidade T\u00e9cnica de Lisboa, Instituto superior T\u00e9cnico, Lisbon, 1997."},{"key":"10.1016\/S1571-0661(05)80239-7_BIB13","first-page":"50","article-title":"Compositional refinement of concurrent systems","volume":"2","author":"Menezes","year":"1995","journal-title":"Journal of the Brazilian Computer Society - Special Issue on Parallel Computation, No. 1, vol., SBC"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB14","first-page":"11","article-title":"Synchronization in Petri nets","volume":"26","author":"Menzes","year":"1996"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB15","first-page":"84","article-title":"Systems for system implementation","author":"Menezes","year":"1966","journal-title":"Advances in Modeling of Antecipative Systems, International institute for Advanced Studies, Windsor, Canada"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB16","doi-asserted-by":"crossref","unstructured":"Menezes, P.B., J.F. Costa and A. Sernadas, Refinement mapping for (discrete event) system theory, Proceedings of the Fifth International Conference on Computer Aided System Technology, EUROCAST 95, LNCS 1030(1996), Springer-Verlag, pp. 103-116.","DOI":"10.1007\/BFb0034753"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB17","unstructured":"Menezes, P.B. J.F. Costa and A. Sernadas, Refinement in a concurrent, object-based language, Proceedings of the I SBLP - Brazilian Symposium of Programming Languages, SBC, 1996, pp. 237-250."},{"key":"10.1016\/S1571-0661(05)80239-7_BIB18","first-page":"105","article-title":"Petri nets are monoids","volume":"88","author":"Meseguer","year":"1990"},{"year":"1989","series-title":"\u201cCommunication and Concurrency,\u201d","author":"Milner","key":"10.1016\/S1571-0661(05)80239-7_BIB19"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB20","article-title":"Petri Nets: An Introduction","volume":"4","author":"Reisig","year":"1985"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB21","first-page":"82","article-title":"A classification of models for concurrency","volume":"715","author":"Sassone","year":"1993"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB22","series-title":"Object-oriented Databases: Analysis, Design and Construction","first-page":"39","article-title":"What is an object, after all","author":"Sernadas","year":"1991"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB23","series-title":"technical report, Unviersidade T\u00e9cnica de Lisboa, Instituto superior T\u00e9cnico, Lisbon","article-title":"A Linguagem GNOME: Sintaxe, Sem\u00e2ntica e C\u00e1lculo","author":"Sernadas","year":"1994"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB24","series-title":"The Object-Oriented Approach in Information Systems","first-page":"209","article-title":"In-the large object-oriented design of information systems","author":"Sernadas","year":"1991"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB25","series-title":"technical report, Universidade T\u00e9cnica de Lisboa, Instituto superior T\u00e9cnico, Lisbon","article-title":"OBLOG: object-oriented, logic-based conceptual modeling","author":"Sernadas","year":"1992"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB26","series-title":"Specification of Data Base Systems","first-page":"275","article-title":"The refinement dimension in object-oriented database design","author":"Sernadas","year":"1992"},{"volume":"88","year":"1978","author":"Szabo","key":"10.1016\/S1571-0661(05)80239-7_BIB27"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB28","article-title":"Concepts and paradigms of object-oriented programming","volume":"1","author":"Wegner","year":"1990"},{"key":"10.1016\/S1571-0661(05)80239-7_BIB29","first-page":"197","article-title":"Petri nets, algebras, morphisms and compositionality","volume":"72","author":"Winskel","year":"1987"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802397?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802397?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:32Z","timestamp":1761610052000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105802397"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":29,"alternative-id":["S1571066105802397"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80239-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Nonsequential Automata Semantics for a Concurrent, Object-Based Language","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80239-7","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1998 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}