{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:10:55Z","timestamp":1762251055075,"version":"3.32.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1007\/bf01798961","type":"journal-article","created":{"date-parts":[[2005,6,21]],"date-time":"2005-06-21T13:54:36Z","timestamp":1119362076000},"page":"139-162","source":"Crossref","is-referenced-by-count":39,"title":["Failures semantics based on interval semiwords is a congruence for refinement"],"prefix":"10.1007","volume":"4","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01798961_CR1","series-title":"Tech Rep 1\/90","volume-title":"Full abstractions for series-parallel pomsets","author":"L. Aceto","year":"1990","unstructured":"Aceto L.: Full abstractions for series-parallel pomsets. Tech Rep 1\/90, University of Sussex, Brighton, 1990"},{"key":"BF01798961_CR2","doi-asserted-by":"crossref","unstructured":"Aceto L, Hennessy M: Towards action-refinement in process algebras. In: Proc 4th LICS 1989. IEEE Computer Soc Press 1989, pp 138\u2013145. (A full version has appeared as Tech Rep 3\/88, University of Sussex, Brighton, 1988)","DOI":"10.1109\/LICS.1989.39168"},{"key":"BF01798961_CR3","first-page":"5","volume":"17","author":"C Andr\u00e9","year":"1983","unstructured":"Andr\u00e9 C: The behaviour of a Petri net on a subset of transitions. RAIRO Autom Prod Inf Ind 17:5\u201321 (1983)","journal-title":"RAIRO Autom Prod Inf Ind"},{"key":"BF01798961_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra JA, Klop JW: Process algebra for synchronous communication. Inf Control 60:109\u2013137 (1984)","journal-title":"Inf Control"},{"key":"BF01798961_CR5","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. Theor Comp Sci 55:87\u2013136 (1987)","journal-title":"Theor Comp Sci"},{"key":"BF01798961_CR6","unstructured":"Best E, Devillers R, Kiehn A, Pomello L: Fully concurrent bisimulation. Tech Rep LIT-202, University Bruxelles, 1989 (to appear in Acta Informatica)"},{"key":"BF01798961_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Petri nets: central models and their properties. Advances in Petri nets 1986, part I","author":"W Brauer","year":"1987","unstructured":"Brauer W, Reisig W, Rozenberg G: Petri nets: central models and their properties. Advances in Petri nets 1986, part I. Lect Notes Comput Sci, vol 254. Springer, Berlin Heidelberg New York 1987"},{"key":"BF01798961_CR8","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes SD, Hoare CAR, Roscoe AW: A theory of communicating sequential processes. J ACM 31:560\u2013599 (1984)","journal-title":"J ACM"},{"key":"BF01798961_CR9","first-page":"12","volume":"31","author":"L Castellano","year":"1987","unstructured":"Castellano L, De Michelis G, Pomello L: Concurrency vs. interleaving: an instructive example. Bull EATCS 31:12\u201315 (1987)","journal-title":"Bull EATCS"},{"key":"BF01798961_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","volume-title":"Mathematical models for the semantics of parallelism","author":"P Degano","year":"1987","unstructured":"Degano P, De Nicola R, Montanari U. CCS is an (augmented) contact free C\/E system. In: Venturini Zilli M (ed) Mathematical models for the semantics of parallelism. Lect Notes Comput Sci, vol. 280. Springer, Berlin Heidelberg New York 1987, pp 144\u2013165"},{"key":"BF01798961_CR11","unstructured":"Devillers R: Maximality preserving bisimulation. Tech Rep LIT-214, University Bruxelles, 1990"},{"key":"BF01798961_CR12","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0022-2496(70)90062-3","volume":"7","author":"PC Fishburn","year":"1970","unstructured":"Fishburn PC: Intransitive indifference with unequal indifference intervals. J Math Psych 7: 144\u2013149 (1970)","journal-title":"J Math Psych"},{"key":"BF01798961_CR13","unstructured":"van Glabbeek R: The refinement theorem for ST-bisimulation semantics. In: Broy M, Jones CB (eds) Proc IFIP Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 1990 (to appear)"},{"key":"BF01798961_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"MFCS 89","author":"R Glabbeek van","year":"1989","unstructured":"van Glabbeek R, Goltz U: Equivalence notions for concurrent systems and refinement of actions. Arbeitspapiere der GMD 366, 1989, also in: Kreczmar A, Mirkowska G (eds) MFCS 89. Lect Notes Comput Sci, vol 379. Springer, Berlin Heidelberg New York 1989, pp 237\u2013248"},{"key":"BF01798961_CR15","series-title":"Lect Notes Comput Sci","first-page":"267","volume-title":"Proc REX School\/Workshop on Stepwise Refinement of Distributed Systems","author":"R Glabbeek van","year":"1989","unstructured":"van Glabbeek R, Goltz U: Refinement of actions in causality based models. In: de Bakker JW, de Roever WP, Rozenberg G (eds) Proc REX School\/Workshop on Stepwise Refinement of Distributed Systems, 1989. Lect Notes Comput Sci, vol 430. Springer, Berlin Heidelberg New York 1989, pp 267\u2013300"},{"key":"BF01798961_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE vol II","author":"R Glabbeek van","year":"1987","unstructured":"van Glabbeek R, Vaandrager, F: Petri net models for algebraic theories of concurrency. In: de Bakker JW, Nijman AJ, Treleaven PC (eds) PARLE vol II. Lect Notes Comput Sci, vol 259. Springer, Berlin Heidelberg New York 1987, pp 224\u2013242"},{"key":"BF01798961_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BFb0017157","volume-title":"Proc MFCS 1988, Carlsbad","author":"U Goltz","year":"1988","unstructured":"Goltz U: On representing CCS programs by finite Petri nets. In: Chytil MP, Janiga L, Koubek V (eds) Proc MFCS 1988, Carlsbad. Lect Notes Comput Sci, vol 324. Springer, Berlin Heidelberg New York 1988, pp 339\u2013350"},{"key":"BF01798961_CR18","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U Goltz","year":"1983","unstructured":"Goltz U, Reisig W: The non-sequential behaviour of Petri nets. Inf Control 57:125\u2013147 (1983)","journal-title":"Inf Control"},{"key":"BF01798961_CR19","first-page":"428","volume":"2","author":"J Grabowski","year":"1981","unstructured":"Grabowski J: On partial languages. Ann Soc Math Pol. Ser IV, Fundam Inf 2:428\u2013498 (1981)","journal-title":"Ann Soc Math Pol. Ser IV, Fundam Inf"},{"key":"BF01798961_CR20","unstructured":"Kiehn A: On the concurrent behaviour of Petri nets. Tech Rep FBI-HH-B 120\/86, University Hamburg, Fachbereich Informatik, 1986"},{"key":"BF01798961_CR21","first-page":"3","volume":"24","author":"A Kiehn","year":"1988","unstructured":"Kiehn A: On the interrelationship between synchronized and non-synchronized behaviour of Petri nets. J Inf Process Cybern EIK 24:3\u201318 (1988)","journal-title":"J Inf Process Cybern EIK"},{"key":"BF01798961_CR22","series-title":"Lect Notes Comput Sci","first-page":"279","volume-title":"Petri nets: applications and relationships to other models of concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz A: Trace theory. In: Brauer W, Reisig W, Rozenberg G (eds) Petri nets: applications and relationships to other models of concurrency. Lect Notes Comput Sci, vol 255. Springer, Berlin Heidelberg New York 1987, pp 279\u2013324"},{"key":"BF01798961_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating sequential systems","author":"R Milner","year":"1980","unstructured":"Milner R: A calculus of communicating sequential systems. Lect Notes Comput Sci, vol 92. Springer, Berlin Heidelberg New York 1980"},{"key":"BF01798961_CR24","first-page":"171","volume":"21","author":"K M\u00fcller","year":"1985","unstructured":"M\u00fcller K: Constructable Petri nets. J Inf Process Cybern EIK 21:171\u2013199 (1985)","journal-title":"J Inf Process Cybern EIK"},{"key":"BF01798961_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BFb0013034","volume-title":"Proc REX School\/Workshop on Linear Time, Branching Time and Partial Orders in Logics and Models of Concurrency, Nordwijkerhout, 1988","author":"M Nielsen","year":"1989","unstructured":"Nielsen M, Engberg U, Larsen K: Partial order semantics for concurrency. In: de Bakker JW, de Roever WP, Rozenberg G (eds) Proc REX School\/Workshop on Linear Time, Branching Time and Partial Orders in Logics and Models of Concurrency, Nordwijkerhout, 1988. Lect Notes Comput Sci, vol 354. Springer, Berlin Heidelberg New York 1989, pp 523\u2013548"},{"key":"BF01798961_CR26","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 GD, Winskel G: Petri nets, event structures and domains, part I. Theor Comput Sci 13:85\u2013108 (1981)","journal-title":"Theor Comput Sci"},{"key":"BF01798961_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BFb0016222","volume-title":"Advances in Petri nets 1985","author":"L Pomello","year":"1986","unstructured":"Pomello L: Some equivalence notions for concurrent systems \u2014 an overview. In: Rozenberg G (ed) Advances in Petri nets 1985. Lect Notes Comput Sci, vol 222. Springer, Berlin Heidelberg New York 1986, pp 381\u2013400"},{"key":"BF01798961_CR28","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 J Parallel Program 15:33\u201371 (1986)","journal-title":"Int J Parallel Program"},{"key":"BF01798961_CR29","doi-asserted-by":"crossref","unstructured":"Reisig W: On the semantics of Petri nets. In: Neuhold EJ, Chroust G (eds) Formal models in programming. Proc IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Wien, 1985. North-Holland, 1985, pp 347\u2013372","DOI":"10.1007\/978-3-642-69968-9"},{"key":"BF01798961_CR30","first-page":"389","volume":"17","author":"PH Starke","year":"1981","unstructured":"Starke PH: Processes in Petri nets. EIK 17:389\u2013416 (1981)","journal-title":"EIK"},{"key":"BF01798961_CR31","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"L Suzuki","year":"1983","unstructured":"Suzuki L, Murata T: A method for stepwise refinement and abstraction of Petri nets. J Comput Syst Sci 27:51\u201376 (1983)","journal-title":"J Comput Syst Sci"},{"key":"BF01798961_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51525-9","volume-title":"Finite representations of CCS and TCSP programs by automata and Petri nets","author":"D Taubner","year":"1989","unstructured":"Taubner D: Finite representations of CCS and TCSP programs by automata and Petri nets. Lect Notes Comput Sci, vol 369. Springer, Berlin Heidelberg New York 1989"},{"key":"BF01798961_CR33","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R Valette","year":"1979","unstructured":"Valette R: Analysis of Petri nets by stepwise refinements. J Comput Syst Sci 18:35\u201346 (1979)","journal-title":"J Comput Syst Sci"},{"key":"BF01798961_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-17218-1_51","volume-title":"Behaviour preserving refinements of Petri nets","author":"W Vogler","year":"1987","unstructured":"Vogler W: Behaviour preserving refinements of Petri nets. Proc 12th Int Workshop on Graph Theoretic Concepts in Computer Science. Bernried\/M\u00fcnchen, 1986. Lect Notes Comput Sci, vol 246. Springer, Berlin Heidelberg New York 1987, pp 82\u201393"},{"key":"BF01798961_CR35","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00276021","volume":"26","author":"W Vogler","year":"1989","unstructured":"Vogler W: Failures semantics and deadlocking of modular Petri nets. Acta Inf 26:333\u2013348 (1989)","journal-title":"Acta Inf"},{"key":"BF01798961_CR36","unstructured":"Vogler W: Bisimulation and action refinement. Tech Rep SFB-Bericht Nr. 342\/10\/90A, Technische Universit\u00e4t M\u00fcnchen, 1990. Partly to appear in STACS 91, Hamburg. Lect Notes Comput Sci. Springer, Berlin Heidelberg New York 1991"},{"key":"BF01798961_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-52282-4_51","volume-title":"STACS 90","author":"W Vogler","year":"1990","unstructured":"Vogler W: Failures semantics based on interval semiwords is a congruence for refinement. In: Choffrut C, Lengauer T (eds) STACS 90. Lect Notes Comput Sci, vol 415. Springer, Berlin Heidelberg New York 1990, pp 285\u2013297"},{"key":"BF01798961_CR38","unstructured":"Vogler W: Failures semantics of Petri nets and the refinement of places and transitions. Tech Rep TUM-19003, Technische Universit\u00e4t M\u00fcnchen, 1990"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01798961.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01798961\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01798961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T21:21:09Z","timestamp":1735766469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01798961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["BF01798961"],"URL":"https:\/\/doi.org\/10.1007\/bf01798961","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}