{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:48Z","timestamp":1725457008732},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540516980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0015037","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:08:54Z","timestamp":1134281334000},"page":"91-116","source":"Crossref","is-referenced-by-count":3,"title":["An integrated algebraic approach to the specification of data types, processes and objects"],"prefix":"10.1007","author":[{"given":"E.","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"A.","family":"Giovini","sequence":"additional","affiliation":[]},{"given":"G.","family":"Reggio","sequence":"additional","affiliation":[]},{"given":"E.","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"n. x stands for Lecture Notes in Computer Science, Springer-Verlag, Berlin, n. x."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, A. Giovini, G. Reggio, Generalized Bisimulation in Relational Specifications, in Proc. STACS '88, LNCS n. 294, pp. 207\u2013226, 1988.","DOI":"10.1007\/BFb0035846"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, A. Giovini, G. Reggio, Data in concurrent environment, to appear in Proc. Concurrency '88, (F. Vogt ed.), LNCS n. ..., 1988.","DOI":"10.1007\/3-540-50403-6_38"},{"issue":"186","key":"5_CR4","first-page":"342","volume":"1","author":"E. Astesiano","year":"1985","unstructured":"E. Astesiano, G. F. Mascari, G. Reggio, M. Wirsing, On the Parameterized Algebraic Specification of Concurrent Systems, Proc. TAPSOFT Conference, Vol.1, LNCS n. 186, pp. 342\u2013358, 1985.","journal-title":"LNCS"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio, An Outline of the SMoLCS Methodology, in Mathematical Models for the Semantics of Parallelism, Proc. Advanced School on Mathematical Models of Parallelism, (M. Venturini Zilli ed.), LNCS n. 280, pp. 81\u2013113, 1987.","DOI":"10.1007\/3-540-18419-8_11"},{"issue":"249","key":"5_CR6","first-page":"169","volume":"1","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano, G. Reggio, SMoLCS-Driven Concurrent Calculi, (invited paper) in Proc. TAPSOFT'87, vol.1, LNCS n. 249, pp. 169\u2013201, 1987.","journal-title":"LNCS"},{"issue":"5","key":"5_CR7","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1147\/rd.315.0512","volume":"31","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano, G. Reggio, Direct Semantics for Concurrent Languages in the SMoLCS Approach, IBM Journal of Research and Development, vol. 31, n. 5, pp. 512\u2013534, 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio, M. Wirsing, Relational Specifications and Observational Semantics, in Proc. MFCS'86 (Symposium on Mathematical Foundations of Computer Science, Bratislava), LNCS n. 233, pp. 209\u2013217, 1986.","DOI":"10.1007\/BFb0016244"},{"key":"5_CR9","unstructured":"M. Broy, Views of Queues, technical report Universit\u00e4t Passau, MIP-8704, February 1987."},{"key":"5_CR10","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":"5_CR11","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A semantics of multiple inheritance, in Semantics of Data Types, proc. of International Symposium Sophia-Antipolis (G. Kahn, D. B. MacQueen, G. Plotkin editors), LNCS n. 173, pp. 51\u201368, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"5_CR12","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, The Draft Formal Definition of Ada, Deliverable of the CEC MAP project: The Draft Formal Definition of ANSI\/STD 1815A Ada, 1986."},{"issue":"249","key":"5_CR13","first-page":"1","volume":"2","author":"J. A. Goguen","year":"1987","unstructured":"J. A. Goguen, J. Meseguer, Models and equality for logical Programming, in Proc. TAPSOFT'87, vol.2, LNCS n. 249, pp. 1, 22, 1987.","journal-title":"LNCS"},{"key":"5_CR14","unstructured":"A. Goldberg, D. Robson, Smalltalk-80 The language and its implementation, Addison-Wesley, 1985."},{"key":"5_CR15","unstructured":"R. van Glabbeek, F. Vaandrager, Curious Queues, in: Proc. METEOR 1987 Workshop, (M. Wirsing ed.), LNCS, 1988."},{"key":"5_CR16","unstructured":"C. A. R. Hoare, H. Jeifeng, Algebraic specification and proof of properties of a mail service, in Program Specification and Transformation (Proc. of IFIP TC2\/WG 2.1 Working Conference on Program Specification and Transformation, Bad T\u00f6lz, 1986), North-Holland, 1987."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"S. Kaplan, A. Pnueli, Specification and Implementation of Concurrently Accessed Data Structures: an Abstract Data Type Approach, in: Proc. STACS '87 (F. J. Brandenburg, G. Vidal-Naquet, M. Wirsing eds.), LNCS n. 247, 1987.","DOI":"10.1007\/BFb0039609"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communicating systems, LNCS n. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR19","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 asynchrony, TCS 25, 267\u2013310, 1983.","journal-title":"TCS"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"B. Meyer, Eiffel: Programming for reusability and extendibility, SIGPLAN Notices, V. 22 #2, February 1987.","DOI":"10.1145\/24686.24694"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"D. Park, Concurrency and Automata on Infinite Sequences, in Proc. 5th GI Conference LNCS n. 104, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"5_CR22","unstructured":"G. Plotkin, A structural approach to operational semantics, Lecture notes, Aarhus University, 1981."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods: Theory, Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0015037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:46:00Z","timestamp":1586612760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540516980"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0015037","relation":{},"subject":[]}}