{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:41Z","timestamp":1725663701020},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_172","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:20:51Z","timestamp":1330262451000},"page":"569-580","source":"Crossref","is-referenced-by-count":1,"title":["Transition system specifications in stalk format with bisimulation as a congruence"],"prefix":"10.1007","author":[{"given":"V.","family":"Oostrom","sequence":"first","affiliation":[]},{"given":"E. P.","family":"Vink","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(88)90048-5","volume":"60","author":"P. America","year":"1988","unstructured":"P. America and J.W. de Bakker. Designing equivalent models for process creation. Theoretical Computer Science, 60:109\u2013176, 1988.","journal-title":"Theoretical Computer Science"},{"key":"46_CR2","unstructured":"P.H.M. America and J.J.M.M. Rutten. A parallel object-oriented language: Design and semantic foundations. In J.W. de Bakker, editor, Languages for Parallel Architectures: Design, Semantics, Implementation Models, pages 1\u201349. Wiley, 1989."},{"key":"46_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0890-5401(91)90036-2","volume":"91","author":"J.W. Bakker de","year":"1991","unstructured":"J.W. de Bakker. Comparative semantics for flow of control in logic programming without logic. Information and Computation, 91:123\u2013179, 1991.","journal-title":"Information and Computation"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"R. Bol and J.F. Groote. The meaning of negative premises in transition system specifications. In J. Leach Albert, B. Monien, and M. Rodr\u00edguez Artalejo, editors, Proc. ICALP'91, pages 481\u2013494. LNCS 510, 1991.","DOI":"10.1007\/3-540-54233-7_157"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, and A.R. Meyer. Bisimulation can't be traced. In Proc. Principles of Programming Languages, pages 229\u2013239. San Diego, 1988.","DOI":"10.1145\/73560.73580"},{"key":"46_CR6","unstructured":"J.W. de Bakker and J.N. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 347\u2013355. Institute for New Generation Computer Technology, 1988."},{"key":"46_CR7","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1137\/0217073","volume":"17","author":"J.A. Bergstra","year":"1988","unstructured":"J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Readies and failures in the algebra of communicating processes. SIAM Journal on Computing, 17:1134\u20131177, 1988.","journal-title":"SIAM Journal on Computing"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker and E.P. de Vink. CCS for OO and LP. In S. Abramsky and T.S.E. Maibaum, editors, Proc. TAPSOFT'91, volume 2, pages 1\u201328. LNCS 494, 1991.","DOI":"10.1007\/3540539816_55"},{"key":"46_CR9","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF01178776","volume":"29","author":"J.C.M. Baeten","year":"1992","unstructured":"J.C.M. Baeten and F.W. Vaandrager. An algebra for process creation. Acta Informatica, 29:303\u2013334, 1992.","journal-title":"Acta Informatica"},{"key":"46_CR10","unstructured":"J.W. de Bakker and E.P. de Vink. Bisimulation semantics for concurrency with atomicity and action refinement. Technical Report CS-R9210, CWI, 1992."},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and C. Verhoef. A congruence theorem for structured operational semantics with predicates. In E. Best, editor, Proc. CON-CUR'93, pages 477\u2013492. LNCS 715, 1993.","DOI":"10.1007\/3-540-57208-2_33"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"A. Eli\u00cbns and E.P. de Vink. Asynchronous rendez-vous in Distributed Logic Programming. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Semantics: Foundations and Applications, pages 174\u2013203. LNCS 666, 1993.","DOI":"10.1007\/3-540-56596-5_34"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"W.J. Fokkink. The tyft\/tyxt format reduces to tree rules. Technical report, CWI, 1993. Draft. Extended abstract to appear in proc. Theoretical Aspects of Computer Science'94.","DOI":"10.1007\/3-540-57887-0_109"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"J.F. Groote. Transition system specifications with negative premises. In J.C.M. Baeten and J.W. Klop, editors, Proc. CONCUR'90, Theories of Concurrency: Unification and Extension, pages 332\u2013342. LNCS 458, 1990.","DOI":"10.1007\/BFb0039069"},{"key":"46_CR15","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"J.F. Groote and F.W. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 100:202\u2013260, 1992.","journal-title":"Information and Computation"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Proc. Principles of Programming Languages, pages 344\u2013352, 1989.","DOI":"10.1145\/75277.75307"},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"V. van Oostrom and E.P. de Vink. Transition system specifications in stalk format with bisimulation as a congruence. Technical Report IR-332, Vrije Universiteit, 1993. Obtainable through anonymous ftp from ftp.cs.vu.nl as \/pub\/oostrom\/stalk.ps.Z.","DOI":"10.1007\/3-540-57785-8_172"},{"key":"46_CR18","unstructured":"J.J.M.M. Rutten. Deriving denotational models for bisimulation from Structured Operational Semantics. In M. Broy and C.B. Jones, editors, Programming concepts and methods, proc. of the IFIP Working Group 2.2\/2.3 Working Conference, pages 155\u2013177. North-Holland, 1990."},{"key":"46_CR19","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1017\/S096012950000147X","volume":"2","author":"J.J.M.M. Rutten","year":"1992","unstructured":"J.J.M.M. Rutten. Processes as terms: non-well-founded models for bisimulation. Mathematical Structures in Computer Science, 2:257\u2013275, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"46_CR20","unstructured":"R. de Simone. Calculabilit\u00e9 et Expressivit\u00e9 dans l'Alg\u00e8bre de Processus Parall\u00e8les MEIJE. PhD thesis, Th\u00e8se de 3eme cycle, Universit\u00e9 de Paris VII, 1984."},{"key":"46_CR21","volume-title":"Report CSN-93\/18","author":"C. Verhoef","year":"1993","unstructured":"C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. Report CSN-93\/18, Eindhoven University of Technology, Eindhoven, 1993."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_172.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:01Z","timestamp":1605647641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_172","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}