{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:14Z","timestamp":1761611174494},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540188347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0035846","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:40:10Z","timestamp":1138203610000},"page":"207-226","source":"Crossref","is-referenced-by-count":8,"title":["Generalized bisimulation in relational specifications"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giovini","sequence":"additional","affiliation":[]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. F. Mascari, G. Reggio, M. Wirsing, On the Parameterized Algebraic Specification of Concurrent Systems, in Proc. CAAP '85-TAP SOFT Conference, LNCS 185, Lecture Notes in Computer Science, n. 185, Springer Verlag, Berlin, 1985.","DOI":"10.1007\/3-540-15198-2_22"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio, An Outline of the SMoLCS Methodology, in Mathematical Models for the Semantics of Parallelism, Marisa Venturini Zilli ed., LNCS 280 Lecture Notes in Computer Science, n. 280, Springer Verlag, Berlin, p. 81\u2013113, 1987.","DOI":"10.1007\/3-540-18419-8_11"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio, SMoLCS Driven Concurrent Calculi, in Proc. TAP SOFT '87, LNCS 249 Lecture Notes in Computer Science, n. 249, Springer Verlag, Berlin, 1987.","DOI":"10.1007\/3-540-17660-8_55"},{"key":"21_CR4","unstructured":"E. Astesiano, G. Reggio, Parameterized Concurrent Calculi, (in preparation)."},{"key":"21_CR5","unstructured":"E. Astesiano, G. Reggio, M. Wirsing, Relational Specifications and Observational Semantics, in Proc. MFCS '86, LNCS 233 Lecture Notes in Computer Science, n. 233, Springer Verlag, Berlin, 1986."},{"key":"21_CR6","unstructured":"E. Astesiano, M. Wirsing, Bisimulation in Algebraic Specifications, to appear in Proc. CREAS \u2014 Austin, Texas, 1987."},{"key":"21_CR7","volume-title":"Proc. of IFIP TC 2 Working Conference of Formal Description of Programming Concepts II, Garmisch June 1982","author":"M. Broy","year":"1983","unstructured":"M. Broy, M. Wirsing, On the Algebraic Specification of Finitary Infinite Communicating Sequential Processes, in D. Bjorner (ed.) Proc. of IFIP TC 2 Working Conference of Formal Description of Programming Concepts II, Garmisch June 1982, Amsterdam-New York-Oxford: North Holland Publ. Company, 1983."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"M. Broy, M. Wirsing, Partial Abstract Types, Acta Informatica 18, 1982.","DOI":"10.1007\/BF00625280"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"M. Broy, M. Wirsing, Algebraic Definition of a Functional Programming Language and its Semantic Models, RAIRO Informatique Theorique, 17, 2, 1983.","DOI":"10.1051\/ita\/1983170201371"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, LNCS 92 Lecture Notes in Computer Science, n. 92, Springer Verlag, Berlin, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner, Calculi for Synchrony and Asynchrony, Theoret. Comput. Sci. vol. 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"21_CR12","volume-title":"Proc. IFIP TC 2 Working Conference on Program Specification and Transformation, Bad Tolz F.R.G. 1986","author":"B. M\u00f6ller","year":"1987","unstructured":"B. M\u00f6ller, Algebraic Specification with Higher-Order Operations, in L.G.L.T. Meertens (ed.) Proc. IFIP TC 2 Working Conference on Program Specification and Transformation, Bad Tolz F.R.G. 1986, Amsterdam-New York-Oxford-Tokyo: North Holland Publ. Company 1987."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"D. Park, Concurrency and Automata on Infinite Sequences, in Proc. 5th GI Conference LNCS 104 Lecture Notes in Computer Science, n. 104, Springer Verlag, Berlin, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"21_CR14","unstructured":"G. Reggio, E. Astesiano, A. Giovini, P. Inverardi, F. Mazzanti, E. Zucca, The User Manual of the Metalanguage, Deliverable of the CEC-MAP Project \u201cThe Draft Formal Definition of ANSI\/MIL-STD 1815A-Ada\u201d, 1986."}],"container-title":["Lecture Notes in Computer Science","STACS 88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035846.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:15:38Z","timestamp":1607552138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540188347"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0035846","relation":{},"subject":[]}}