{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:38Z","timestamp":1725624818241},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_3","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"29-39","source":"Crossref","is-referenced-by-count":4,"title":["Equivalence Notions for Concurrent Systems"],"prefix":"10.1007","author":[{"given":"F.","family":"De Cindio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"De Michelis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Pomello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Simone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Systems, LNCS 92","author":"R Milner","year":"1980","unstructured":"R. Milner A Calculus for Communicating Systems, LNCS 92, Springer Verlag (1980)."},{"key":"3_CR2","volume-title":"Superposed Automata Nets IFB 52","author":"F Cindio De","year":"1982","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone Superposed Automata Nets IFB 52, Springer Verlag, (1982)."},{"key":"3_CR3","volume-title":"Real System Modelling; a Formal but Realistic Approach To Organization Design Proc. Int.Conf. on Model Realism","author":"F Cindio De","year":"1982","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone Real System Modelling; a Formal but Realistic Approach To Organization Design Proc. Int.Conf. on Model Realism, Pergamon Press (1982),to appear."},{"key":"3_CR4","volume-title":"Digital Processes","author":"C Andr\u00e9","year":"1979","unstructured":"C. Andr\u00e9, P. Armand, F. Boeri Synchronic Relations and Applications in Parallel Computation, Digital Processes, 5, Georgi Publishing Company (1979)."},{"key":"3_CR5","volume-title":"Behaviour of a Place-Transition Net on a Subset of Transitions","author":"C Andr\u00e9","year":"1982","unstructured":"C. Andr\u00e9 Behaviour of a Place-Transition Net on a Subset of Transitions IFB 52, Springer Verlag (1982)."},{"key":"3_CR6","volume-title":"Use Of The Behaviour Equivalence in Place-Transition Net Analysis","author":"C Andr\u00e9","year":"1982","unstructured":"C. Andr\u00e9 Use Of The Behaviour Equivalence in Place-Transition Net Analysis IFB 52, Springer Verlag (1982)."},{"key":"3_CR7","volume-title":"Non-SeqUential Processes Interner Bericht ISF-77-05 GMD","author":"CA Petri","year":"1977","unstructured":"C.A. Petri Non-SeqUential Processes Interner Bericht ISF-77-05, GMD (1977)."},{"key":"3_CR8","volume-title":"Concurrency LNCS 84","author":"CA Petri","year":"1980","unstructured":"C.A. Petri Concurrency LNCS 84, Springer Verlag (1980)."},{"key":"3_CR9","volume-title":"ISF Report 81-02 GMD","author":"C Fernandez","year":"1981","unstructured":"C. Fernandez, P.S. Thiagarajan Some Properties of D-Continuous Causal Nets, ISF Report 81-02 GMD (1981)."},{"key":"3_CR10","volume-title":"Behaviours of Concurrent Systems Theor.Comp.Sc","author":"J Winkowski","year":"1980","unstructured":"J. Winkowski Behaviours of Concurrent Systems Theor.Comp.Sc. 11, (1980)."},{"key":"3_CR11","volume-title":"Petri Nets Event Structures and Domains LNCS 70","author":"M Nielsen","year":"1979","unstructured":"M. Nielsen, G. Plotkin, G. Winskel Petri Nets Event Structures and Domains LNCS 70, Springer Verlag (1979)."},{"key":"3_CR12","volume-title":"Concurrent Programs Schemes and Their Interpretations DAIMI PB 78, Aarhus Univ Pubi","author":"A Mazurkiewicz","year":"1977","unstructured":"A. Mazurkiewicz Concurrent Programs Schemes and Their Interpretations DAIMI PB 78, Aarhus Univ. Pubi. (1977)."},{"key":"3_CR13","volume-title":"Synthesis of Concurrent Schemes LNCS 64","author":"R Janicki","year":"1978","unstructured":"R. Janicki Synthesis of Concurrent Schemes LNCS 64, Springer Verlag (1978)."},{"key":"3_CR14","volume-title":"Proc. 1st. European Conf. on Parallel and Distributed Processing","author":"E Knuth","year":"1979","unstructured":"E. Knuth Petri Nets and Trace Languages Proc. 1st. European Conf. on Parallel and Distributed Processing, Toulouse (France ) (1979)."},{"key":"3_CR15","volume-title":"Labelled Event Structures: A Model for Observable Concurrency CNR PFI Collana C Net 43","author":"I Castellani","year":"1981","unstructured":"I. Castellani, P.Franceschi, U.Montanari Labelled Event Structures: A Model for Observable Concurrency CNR PFI Collana C Net 43, Pisa ETS (1981)."},{"key":"3_CR16","volume-title":"On Atomic Nets and Concurrency Relations LNCS 88","author":"R Janicki","year":"1980","unstructured":"R. Janicki On Atomic Nets and Concurrency Relations LNCS 88, Springer Verlag (1980)."},{"key":"3_CR17","volume-title":"Equivalence and Membership Problems for Regular Trace Language","author":"A Bertoni","year":"1980","unstructured":"A. Bertoni, G. Mauri, N. Sabadini Equivalence and Membership Problems for Regular Trace Language LNCS 88, Springer Verlag (1980)."},{"key":"3_CR18","volume-title":"An Equivalence Notion for Condition\/Event Systems","author":"E Sirmen","year":"1982","unstructured":"E. Sirmen An Equivalence Notion for Condition\/Event Systems, IFB 52, Springer Verlag (1982)."},{"key":"3_CR19","volume-title":"Internal Report Istituto di Cibernetica Milano","author":"A Bertoni","year":"1982","unstructured":"A. Bertoni, G. Mauri, N. Sabadini Behaviour of CE Petri Nets and Recognizable Trace Languages, Internal Report Istituto di Cibernetica Milano, (1982)."},{"key":"3_CR20","volume-title":"Proc. II World Conf. on Mathematics at service of the man","author":"A Bertoni","year":"1982","unstructured":"A. Bertoni, G. Mauri, N. Sabadini A Hierarchy of Regular Trace Languages and some Combinatorial Applications, Proc. II World Conf. on Mathematics at service of the man, to appear (1982)."},{"key":"3_CR21","unstructured":"M. Yoeli, T. Etzion Behavioural Equivalence of Concurrent Systems this volume"},{"key":"3_CR22","unstructured":"G. Rosenberg, R. Verraedt Subset Languages of Petri Nets this volume"},{"key":"3_CR23","unstructured":"K. Voss On the Notion of interface in Condition\/Event Systems this volume"}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:59:49Z","timestamp":1557896389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_3","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}