{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:11:34Z","timestamp":1725455494818},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016244","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"209-217","source":"Crossref","is-referenced-by-count":3,"title":["Relational specifications and observational semantics"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"(LNCS n. xx stands for Lectures Notes in Computer Science n. xx, Springer Verlag.)"},{"key":"15_CR2","unstructured":"E. Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for new formal semantic techniques, to appear in Proc. Ada-Europe Conference, Edinburgh, May,1986."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"E.Astesiano,G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS n. 185, 1985.","DOI":"10.1007\/3-540-15198-2_22"},{"key":"15_CR4","unstructured":"E.Astesiano, G.Reggio, A syntax directed approach to the semantics of concurrent languages, to appear in Proc. '86 IFIP World Congress, (Dublin, Ireland), North Holland, 1986."},{"key":"15_CR5","unstructured":"E.Astesiano, G.Reggio, An introduction to SMoLCS, Internal report, 1986."},{"key":"15_CR6","unstructured":"E.Astesiano, M.Wirsing, An introduction to ASL, Proc. IFIP TC2 Working Conference, Bad T\u00f6lz, North Holland, 1986."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"20","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Ching, C.B. Jones, A logic covering undefinedness in program proof, Acta Informatica 20, 251\u2013269, 1984.","journal-title":"Acta Informatica"},{"key":"15_CR8","unstructured":"M.Broy, M. Wirsing, On the algebraic specification of finitary infinite communicating sequential processes, in Proc. IFIP TC2 Working Conference on \"Formal Description of Programming Concepts II\", Garmisch, 1982."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing, Partial abstract types, Acta Informatica 18, 47\u201364, 1982.","journal-title":"Acta Informatica"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"R.Milner, A calculus of communicating systems, LNCS n.92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"15_CR11","unstructured":"G.Plotkin, An operational semantics for CSP, in Proc. IFIP TC2 Working Conference on \"Formal description of Programming concepts II, Garmisch, 1982."},{"key":"15_CR12","unstructured":"D.Sannella, M.Wirsing, A kernel language for algebraic specification and implementation, Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden LNCS n. 158, 1985."},{"key":"15_CR13","unstructured":"E. Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E.W.Karlsen, F.Mazzanti, J.Storbank Pedersen, G.Reggio, E.Zucca, The Trial definition of Ada, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815A Ada, 1986."},{"key":"15_CR14","unstructured":"M.Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis Technische Universitat Munchen."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016244.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:35:35Z","timestamp":1607549735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0016244","relation":{},"subject":[]}}