{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:29:10Z","timestamp":1760297350618},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1007\/bf01186645","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T17:04:04Z","timestamp":1108746244000},"page":"647-679","source":"Crossref","is-referenced-by-count":18,"title":["Trace nets and process automata"],"prefix":"10.1007","volume":"32","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01186645_CR1","unstructured":"[AN82] Arnold, A., Nivat, M.: Comportements de processus. Colloque AFCET Les Math\u00e9matiques de l'Informatique 35\u201368 1982."},{"key":"BF01186645_CR2","unstructured":"[Bed88] Bednarczyk, M.A.: Categories of asynchronous systems. PhD thesis, University of Sussex, report no. 1\/88, 1988."},{"key":"BF01186645_CR3","unstructured":"[BDP93] Bernardinello, L., De Michelis, G., Petruni, K.: Synchronic distances as Generalized Regions. Rapporto Interno no. 107-93, Dipartimento di Scienze dell'Informazione, Universit\u00e1 degli Studi di Milano, 1993."},{"key":"BF01186645_CR4","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"[BC88] Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fundamenta InformaticaeXI 433\u2013452 (1988).","journal-title":"Fundamenta Informaticae"},{"key":"BF01186645_CR5","doi-asserted-by":"crossref","unstructured":"[BC90] Boudol, G., Castellani, I.: Three equivalent semantics for CCS. In: Semantics of Systems of Concurrent Processes, I. Guessarian (ed.) LNCS 469, 96\u2013141 (1990)","DOI":"10.1007\/3-540-53479-2_5"},{"key":"BF01186645_CR6","unstructured":"[deS84] De Simone, R.: Calculabilit\u00e9 et expressivit\u00e9 dans l'alg\u00e9bre de processus MEIJE. Th\u00e8se de 3eme Cycle, Universit\u00e9 de Paris VII, 1984."},{"key":"BF01186645_CR7","unstructured":"[DS93] Droste, M., Shortt, R.M.: Petri nets and automata with concurrency relations\u2014an adjunction. In: Semantics of Programming Languages and Model Theory, M. Droste and Y. Gurevich (eds) pp. 69\u201387 (1993)."},{"key":"BF01186645_CR8","unstructured":"[ER90] Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures; Part I: Basic Notions and the Representation Problem, and Part II: State Spaces of Concurrent Systems, Acta Informatica, 27 (1990)."},{"key":"BF01186645_CR9","first-page":"526","volume":"443","author":"K. Larsen","year":"1990","unstructured":"[LX90] Larsen, K., Xinxin, L.: Compositionality through an operational semantics of contexts, Proc. 17th ICALP (Warwick), LNCS 443 526\u2013539 (1990).","journal-title":"Proc. 17th ICALP (Warwick), LNCS"},{"key":"BF01186645_CR10","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/BFb0072310","volume":"195","author":"P. Leroux","year":"1971","unstructured":"[Ler71] Leroux, P.: Structure et s\u00e9mantique abstraites: extension \u00e0 des cat\u00e9gories de morphismes d'une paire de foncteurs adjoints. Report of the Midwest Category Seminar V. Springer-Verlag Lecture Notes in Mathematics 195, 154\u2013198 (1971)","journal-title":"Springer-Verlag Lecture Notes in Mathematics"},{"key":"BF01186645_CR11","doi-asserted-by":"crossref","unstructured":"[Mac71] Mac Lane, S.: Categories for the Working Mathematician. Springer-Verlag (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"BF01186645_CR12","doi-asserted-by":"crossref","unstructured":"[Mil80] Milner, R.: A Calculus of Communicating Systems. Springer-Verlag LNCS 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"BF01186645_CR13","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1993","unstructured":"[Muk93] Mukund, M.: Petri Nets and Step Transition Systems. Int. J. Foundation Comput. Sci.3, 443\u2013478 (1993).","journal-title":"Int. J. Foundation Comput. Sci."},{"key":"BF01186645_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"[NRT90] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. TCS96, 3\u201333 (1992).","journal-title":"TCS"},{"key":"BF01186645_CR15","doi-asserted-by":"crossref","unstructured":"[NRT91] Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Transition systems, event structures and unfoldings. DAIMI PB-353 Aarhus (1991).","DOI":"10.7146\/dpb.v20i353.6583"},{"key":"BF01186645_CR16","first-page":"899","volume":"11","author":"M. Nivat","year":"1979","unstructured":"[Niv79] Nivat, M.: Sur la synchronisation des processus. Revue technique Thomson-CSF, 11, 899\u2013919 (1979).","journal-title":"Revue technique Thomson-CSF"},{"key":"BF01186645_CR17","unstructured":"[Plo81] Plotkin, G.: A structural approach to operational semantics. DAIMI-FN-19 Aarhus (1981)."},{"key":"BF01186645_CR18","doi-asserted-by":"crossref","unstructured":"[Sta89] Stark, E.W.: Connections between a Concrete and an Abstract Model of Concurrent Systems. 5th Mathematical Foundations of Programming Semantics 53\u201379, (1989).","DOI":"10.1007\/BFb0040254"},{"key":"BF01186645_CR19","doi-asserted-by":"crossref","unstructured":"[Win94] Winskel, G, Nielsen, M.: Models for Concurrency. BRICS Report RS.94.12, Aarhus (1994)","DOI":"10.7146\/brics.v1i12.21658"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01186645.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01186645\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01186645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,5]],"date-time":"2021-07-05T07:37:53Z","timestamp":1625470673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01186645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":19,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["BF01186645"],"URL":"https:\/\/doi.org\/10.1007\/bf01186645","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}