{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:35Z","timestamp":1725663395344},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_55","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:52Z","timestamp":1330197412000},"page":"169-201","source":"Crossref","is-referenced-by-count":28,"title":["SMoLCS-driven concurrent calculi"],"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"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"13_CR1","unstructured":"E. Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for new formal semantic techniques, in Proc. of the 1986 Ada International Conference, Edinburgh, Cambridge University Press, UK, 1986."},{"key":"13_CR2","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":"13_CR3","unstructured":"E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Applying the SMoLCS specification methodology to the CNET architecture, CNET \u2014 Distribute Systems on Local Network, vol 2, pp. 255\u2013267, ETS Pisa,1985."},{"key":"13_CR4","unstructured":"E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, Formal specification of a concurrent architecture in a real project, Proc. of ACM-ICS'85, North Holland, 1985."},{"key":"13_CR5","unstructured":"E.Astesiano, G.Reggio, A syntax-directed approach to the semantics of concurrent languages, in Proc. 10th IFIP World Congress (H.J. Kugler ed.), North Holland,p. 571\u2013576, 1986."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"E.Astesiano,G. Reggio, Comparing direct and continuation styles for concurrent languages, to appear in Proc. STACS 87', LNCS, 1987.","DOI":"10.1007\/BFb0039615"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"E.Astesiano, G.Reggio, The SMoLCS approach to the formal semantics of programming languages \u2014 A tutorial introduction \u2014 to appear in Proc. of CRAI Spring International Conference: Innovative software factories and Ada, 1986.","DOI":"10.1007\/3-540-18341-8_18"},{"key":"13_CR8","unstructured":"E.Astesiano, G.Reggio, M.Wirsing, Relational specifications and observational semantics, in Proc. of MFCS'86, LNCS n. 233, 1986."},{"key":"13_CR9","unstructured":"E.Astesiano, G.Reggio, M.Wirsing, On the algebraic specification of function spaces, in preparation."},{"key":"13_CR10","unstructured":"E.Astesiano, G.Reggio, M.Wirsing, A modular parameterized algebraic approach to the specification of concurrent systems, in preparation."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"D.Bj\u00f8rner, C.B.Jones, The Vienna development method: The Meta-Language, LNCS n.61, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"13_CR12","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\", (D. Bj\u00f8rner ed.), North Holland, 1983."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"M.Broy, M.Wirsing, Partial abstract types, Acta Informatica 18, 1982.","DOI":"10.1007\/BF00625280"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"M.Broy, M.Wirsing, Algebraic definition of a functional programming language and its semantic models, R.A.I.R.O. vol. 17,1983.","DOI":"10.1051\/ita\/1983170201371"},{"key":"13_CR15","unstructured":"E.Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E. Karlsen, F.Mazzanti, J. Storbank Pedersen, G.Reggio, E.Zucca, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI\/MIL-STD 1815 Ada, 1986."},{"key":"13_CR16","unstructured":"H.Hussmann, Rapid prototyping for Algebraic Specifications RAP system user's manual, MIP 8502, Universitat Passau, 1985."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"R.Milner, A calculus of communicating systems, LNCS n. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"R.Milner, Calculi for synchrony and asynchrony, TCS 25, 267\u2013310, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"13_CR19","volume-title":"An interpreter for concurrent systems SMoLCS specifications","author":"F. Morando","year":"1986","unstructured":"F. Morando, An interpreter for concurrent systems SMoLCS specifications, Thesis (in italian) University of Genova, Italy, 1986."},{"key":"13_CR20","unstructured":"G.Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"D.T. Sannella, M. Wirsing, A kernel language for algebraic specifications and implementation, in Proc. Int. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS n.158, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"M.Wirsing, Structured algebraic specifications: a kernel language, TCS Vol.42 n. 2, 1986.","DOI":"10.1016\/0304-3975(86)90051-4"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:11:46Z","timestamp":1619557906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}