{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T15:24:51Z","timestamp":1648567491469},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"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":[[1989]]},"DOI":"10.1007\/bf00265151","type":"journal-article","created":{"date-parts":[[2004,10,3]],"date-time":"2004-10-03T05:48:10Z","timestamp":1096782490000},"page":"125-156","source":"Crossref","is-referenced-by-count":8,"title":["Step failures semantics and a complete proof system"],"prefix":"10.1007","volume":"27","author":[{"given":"Dirk","family":"Taubner","sequence":"first","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00262973","volume":"17","author":"A. Arnold","year":"1982","unstructured":"Arnold, A.: Synchronized behaviours of processes and rational relations. Acta Inf. 17, 21?29 (1982)","journal-title":"Acta Inf."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"Austry, D., Boudol, G.: Alg\u00e8bre de processus et synchronisation. Theor. Comput. Sci. 30, 91?131 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR3","unstructured":"Brookes, S.D.: A model for communicating sequential processes, Ph.D. Thesis, Carnegia-Mellon Univ., Report CMU-CS-83-149 (1983)"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. Assoc. Comput. Mach. 31, 560?599 (1984)","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Roscoe, A.W.: An improved failures model for communicating processes. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) Seminar on concurrency. Proceedings, Pittsburgh 1984. (Lect. Notes Comput. Sci. 197, 281?305) Berlin Heidelberg New York: Springer 1985","DOI":"10.1007\/3-540-15670-4_14"},{"key":"CR6","unstructured":"Broy, M.: Process semantics of communicating concurrent programs. Univ. Passau, Report MIP- 8602 (1986)"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Broy, M., Streicher, T.: Views of distributed systems. In: Venturini Zilli, M. (ed.) Mathematical models for the semantics of parallelism. Proceedings, Rome 1986. (Lect. Notes Comput. Sci. 280, 114?143) Berlin Heidelberg New York: Springer 1987","DOI":"10.1007\/3-540-18419-8_12"},{"key":"CR8","doi-asserted-by":"crossref","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. Proceedings, Rome 1986. (Lect. Notes Comput. Sci. 280, 144?165) Berlin Heidelberg New York: Springer 1987","DOI":"10.1007\/3-540-18419-8_13"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"Degano, P., De Nicola, R., Montanari, U.: A distributed operational semantics for CCS based on condition\/event systems. Acta Inf. 26, 59?91 (1988)","journal-title":"Acta Inf."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Degano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: A CSP process as a condition\/ event system. In: Rozenberg, G. (ed.): Advances in Petri nets 1988. (Lect. Notes Comput. Sci. 340, 85?105) Berlin Heidelberg New York: Springer 1988","DOI":"10.1007\/3-540-50580-6_25"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83?133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Elrad, T., Francez, N.: Decomposition of distributed programs into communication-closed layers. Sci. Comput. Program 2, 155?173 (1982)","journal-title":"Sci. Comput. Program"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","volume":"19","author":"N. Francez","year":"1979","unstructured":"Francez, N., Hoare, C.A.R., Lehmann, D.J., de Roever, W.P.: Semantics of nondeterminism, concurrency, and communication. J. Comput. Syst. Sci. 19, 290?308 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","volume":"32","author":"N. Francez","year":"1984","unstructured":"Francez, N., Lehmann, D., Pnueli, A.: A linear-history semantics for languages for distributed programming. Theor. Comput. Sci. 32, 25?46 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Glabbeck, R. van, Vaandrager, F.: Petri net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE, Parallel architectures and languages Europe. Vol. II. Processings, Eindhoven 1987. (Lect. Notes Comput. Sci. 259, 224?242) Berlin Heidelberg New York: Springer 1987","DOI":"10.1007\/3-540-17945-3_13"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Goltz, U.: On representing CCS programs by finite Petri nets. In: Chytil, M.P., Janiga, L., Koubek, V. (eds.) Mathematical foundations of computer science 1988. Proceedings, Carlsbad 1988. (Lect. Notes Comput. Sci. 324, 339?350) Berlin Heidelberg New York: Springer 1988","DOI":"10.1007\/BFb0017157"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Guessarian, I.: Algebraic semantics. (Lect. Notes Comput. Sci. 99) Berlin Heidelberg New York: Springer 1981","DOI":"10.1007\/3-540-10284-1"},{"key":"CR18","volume-title":"Algebraic theory of processes","author":"M.C.B. Hennessy","year":"1988","unstructured":"Hennessy, M.C.B.: Algebraic theory of processes, 1st Ed. Cambridge, Massachusetts: MIT Press 1988","edition":"1st Ed."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21, 666?677 (1978)","journal-title":"Commun. ACM"},{"key":"CR20","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the interrelation between synchronized and non-synchronized behaviour of Petri nets. J. Inf. Process. Cybern. 24, 3?18 (1988)","journal-title":"J. Inf. Process. Cybern."},{"key":"CR21","unstructured":"Loogen, R.: Ein semantisches Modell f\u00fcr nichtdeterministische, parallele Prozesse. RWTH Aachen, Diploma Thesis 1985 (unpublished)"},{"key":"CR22","unstructured":"Loogen, R., Goltz, U.: Modelling nondeterministic concurrent processes with event structures. Preliminary version available from RWTH Aachen, Report 87-15. Fund. Inf. 1987 (to appear)"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G.J. Milne","year":"1985","unstructured":"Milne, G.J.: CIRCAL and the representation of communication, concurrency, and time. ACM Trans. Program. Lang. Syst, 7, 270?298 (1985)","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. (Lect. Notes Comput. Sci. 92) Berlin Heidelberg New York: Springer 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theor. Comput. Sci. 25, 267?310 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/978-94-009-7893-5_14","volume-title":"Theoretical foundations of programming methodology","author":"M. Nivat","year":"1982","unstructured":"Nivat, M.: Behaviors of processes and synchronized systems of processes. In: Broy, M., Schmidt, G. (eds.) Theoretical foundations of programming methodology, pp. 473?551. Dordrecht: Reidel 1982"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R.: Operational Petri net semantics for CCSP. In: Rozenberg, G. (ed.) Advances in Petri nets 1987. (Lect. Notes Comput. Sci. 266, 196?223) Berlin Heidelberg New York: Springer 1987","DOI":"10.1007\/3-540-18086-9_27"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Inf. 23, 9?66 (1986)","journal-title":"Acta Inf."},{"key":"CR29","first-page":"199","volume-title":"Formal description of programming concepts-II. Proceedings, Garmisch-Partenkirchen 1982","author":"G.D. Plotkin","year":"1983","unstructured":"Plotkin, G.D.: An operational semantics for CSP. In: Bj\u00f8rner, D. (ed.) Formal description of programming concepts-II. Proceedings, Garmisch-Partenkirchen 1982, pp. 199?223. Amsterdam: North-Holland 1983"},{"key":"CR30","first-page":"347","volume-title":"Formal models in programming. Proceedings, Vienna 1985","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: On the semantics of Petri nets. In: Neuhold, E.J., Chroust, G. (eds.) Formal models in programming. Proceedings, Vienna 1985, pp. 347?372. Amsterdam: North-Holland 1985"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90021-X","volume":"26","author":"G. Rozenberg","year":"1983","unstructured":"Rozenberg, G., Verraedt, R.: Subset languages of Petri nets, Parts I and II. Theor. Comput. Sci. 26, 301?326 (1983) and 27, 85?108 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Salwicki, A., M\u00fcldner, T.: On the algorithmic properties of concurrent programs. In: Engeler, E. (ed.) Logic of programs. Proceedings, Z\u00fcrich 1979. (Lect. Notes Comput. Sci. 125, 169?197) Berlin Heidelberg New York: Springer 1981","DOI":"10.1007\/3-540-11160-3_6"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Lauer, P.E.: A formal semantics for concurrent systems. In: Maurer, H.A. (ed.) Automata, languages and programming. Proceedings. Graz 1979. (Lect. Notes Comput. Sci. 71, 571?584) Berlin Heidelberg New York: Springer 1979","DOI":"10.1007\/3-540-09510-1_46"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"Simone, R. de: Higher-level synchronising devices in MEIJE-SCCS. Theor. Comput. Sci. 37, 245- 267 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"CR35","unstructured":"Taubner, D.: Two net-oriented semantics for TCSP. Univ. Hamburg, Report FBI-HH-B-116\/85 (1985)"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Taubner, D.: Finite representations of CCS and TCSP programs by automata and Petri nets. (Lect. Notes Comput. Sci. 369) Berlin Heidelberg New York: Springer 1989","DOI":"10.1007\/3-540-51525-9"},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Taubner, D., Vogler, W.: The step failure semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 87. Proceedings, Passau 1987. (Lect. Notes Comput. Sci. 247, 348?359) Berlin Heidelberg New York: Springer 1987","DOI":"10.1007\/BFb0039618"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00265151.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00265151\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00265151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:44:03Z","timestamp":1585899843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00265151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989]]}},"alternative-id":["BF00265151"],"URL":"https:\/\/doi.org\/10.1007\/bf00265151","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]}}}