{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:45Z","timestamp":1725663105848},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151982"},{"type":"electronic","value":"9783540393023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15198-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:11:05Z","timestamp":1330193465000},"page":"342-358","source":"Crossref","is-referenced-by-count":19,"title":["On the parameterized algebraic specification of concurrent systems"],"prefix":"10.1007","author":[{"given":"E.","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"G. F.","family":"Mascari","sequence":"additional","affiliation":[]},{"given":"G.","family":"Reggio","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"22_CR1","unstructured":"E.Astesiano,F.Mazzanti,U.Montanari,G.Reggio: Design and formal specification of a family of distributed architectures. Quaderni CNET n. 88,ETS Pisa, 1983."},{"key":"22_CR2","unstructured":"E.Astesiano,F.Mazzanti,G.Reggio,E.Zucca: Formal specification of a concurrent architecture in a real project. To appear in Proc. of ICS'85 ACM (International Computing Symposium), 1985."},{"key":"22_CR3","unstructured":"E.Astesiano,G.Reggio: A unifying viewpoint for the constructive specification of cooperation, concurrency and distribution. Quaderni CNET n.115, ETS PISA, 1983."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"F.L.Bauer,H.Wossner: Algorithmic language and program development, Springer Verlag Berlin, 1982.","DOI":"10.1007\/978-3-642-61807-9"},{"key":"22_CR5","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":"22_CR6","doi-asserted-by":"publisher","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":"22_CR7","doi-asserted-by":"crossref","unstructured":"M.Broy,M.Wirsing: Generalized heterogeneous algebras and partial interpretations. In Proc. CAAP 83, Lecture Notes in Computer Science n. 159, Springer Verlag Berlin, 1983.","DOI":"10.1007\/3-540-12727-5_1"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R.Milner: A calculus of communicating systems. Lecture Notes in Computer Science n.92, Springer Verlag Berlin, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner: Calculi for synchrony and asvnchrony. TCS 25, 267\u2013310, 1983.","journal-title":"TCS"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Semantics of Types","author":"P. Mosses","year":"1984","unstructured":"P. Mosses: A basic abstract semantic algebra. In Proc. Semantics of Types, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1984."},{"key":"22_CR11","unstructured":"G.Plotkin: A structural approach to operational semantics. Lecture notes, Aarhus University, 1981."},{"key":"22_CR12","unstructured":"G.Plotkin: An operational semantics for CSP. In Proc. IFIP TC2 Working Conference on \"Formal Description of Programming Concepts II\", Garmisch 1982."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"D.T.Sannella,M.Wirsing: A kernel language for algebraic specification and implementation. In Proc. Int. Conf. on Foundations of Computation Theory, Borgholm Sweden, Lecture Notes in Computer Science n.158, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"22_CR14","unstructured":"M.Wirsing: Structured algebraic specifications: a kernel language. Habilitation thesis, Technische University Munchen, 1983."},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing,P. Pepper,H. Partsch,W. Dosch,M. Broy: On the hierarchies of abstract types. Acta Informatica 20, 1\u201333, 1983.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15198-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:04Z","timestamp":1605643684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15198-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151982","9783540393023"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15198-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}