{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:06Z","timestamp":1725663246234},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540504030"},{"type":"electronic","value":"9783540459996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50403-6_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:24:37Z","timestamp":1330183477000},"page":"140-159","source":"Crossref","is-referenced-by-count":5,"title":["Data in a concurrent environment"],"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","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","first-page":"342","volume-title":"Lecture Notes in Computer Science n.186","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 pp. 342\u2013358, 1985."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-17660-8_55","volume-title":"Proc. TAPSOFT'87, vol.1","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano, G. Reggio, SMoLCS-Driven Concurrent Calculi, (invited paper) in Proc. TAPSOFT'87, vol.1, LNCS pp. 169\u2013201, 1987."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"E.Astesiano, G.Reggio, An Outline of the SMoLCS Methodology, (invited paper) 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"},{"key":"12_CR4","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":"12_CR5","unstructured":"E.Astesiano, A.Giovini, G.Reggio, E.Zucca, An integrated algebraic approach to the specification of data types, processes and objects, (invited talk) to appear in Proc. Meteor 1987 Workshop, (M.Wirsing ed.), LNCS, 1988."},{"key":"12_CR6","unstructured":"M. Broy, Views of Queues, technical report Universit\u00e4t Passau, MIP-8704, February 1987."},{"key":"12_CR7","unstructured":"R. van Glabbeek, F. Vaandrager, Curious Queues, in: Proc. METEOR 1987 Workshop, (M. Wirsing ed.), LNCS, 1988."},{"key":"12_CR8","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":"12_CR9","doi-asserted-by":"crossref","unstructured":"L. Lamport, Specifying Concurrent Program Modules, ACM Transactions on Programming Languages and Systems, 5(2), April 1983.","DOI":"10.1145\/69624.357207"},{"key":"12_CR10","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":"12_CR11","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":"12_CR12","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"}],"container-title":["Lecture Notes in Computer Science","CONCURRENCY 88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50403-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:13Z","timestamp":1605629893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50403-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540504030","9783540459996"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-50403-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}