{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:10Z","timestamp":1725663610732},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:04:52Z","timestamp":1330207492000},"page":"1-20","source":"Crossref","is-referenced-by-count":1,"title":["Processes as data types: Observational semantics and logic"],"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,4]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky S. \u201cObservation Equivalence as a Testing Equivalence\u201d, JTCS 53, 1987.","DOI":"10.1016\/0304-3975(87)90065-X"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Arnold A.; Dick A. \u201cAn Algebraic Characterization of Transition Systems Equivalences\u201d, Information and Computation, Vol. 82, No. 2, August 1989, Academic Press.","DOI":"10.1016\/0890-5401(89)90054-0"},{"key":"1_CR3","unstructured":"Astesiano E.; Giovini A.; Reggio G. \u201cGeneralized Bisimulation in Relational Specifications\u201d, STACS '88, LNCS 294, 1988."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Astesiano E.; Giovini A.; Reggio G. \u201cData in a Concurrent Environment\u201d, Proc. of Concurrency '88, LNCS 335, 1988.","DOI":"10.1007\/3-540-50403-6_38"},{"key":"1_CR5","unstructured":"Astesiano E.; Giovini A.; Reggio G. Observational Structures and their Logic, Internal Report, University of Genova, May 1990. Submitted for publication."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Astesiano E.; Reggio G. \u201cSMoLCS Driven Concurrent Calculi\u201d, Proc. TAPSOFT`87, LNCS 249, 1987.","DOI":"10.1007\/3-540-17660-8_55"},{"key":"1_CR7","volume-title":"Bisimulation in Algebraic Specifications","author":"E. Astesiano","year":"1989","unstructured":"Astesiano E.; Wirsing M. \u201cBisimulation in Algebraic Specifications\u201d, Proc. of the Colloquium on Resolution of Equations in Algebraic Structures, San Diego, Academic Press, 1989."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Castellani I. \u201cBisimulation and abstraction homomorphisms\u201d, J. Comp. System Sci. 34, 1987.","DOI":"10.1016\/0022-0000(87)90025-0"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Castellani I.; Hennessy M. \u201cDistributed Bisimulations\u201d, Journal of the ACM, October 1989, Vol. 36, n. 4, ACM, New York.","DOI":"10.1145\/76359.76369"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"De Nicola R.; Hennessy M. \u201cTesting Equivalence for Processes\u201d, JTCS 34, 1984.","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"1_CR11","unstructured":"De Nicola R.; Vaandrager F. \u201cThree logics for Branching Bisimulation\u201d, to appear in Proc. of LICS `90."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Ferrari G. L.; Montanari U. \u201cTowards the Unification of Models for Concurrency\u201d, Proc. CAAP '90, LNCS ???, 1990.","DOI":"10.1007\/3-540-52590-4_47"},{"key":"1_CR13","unstructured":"Giovini A.; Reggio G. \u201cBisimulation Models in Algebraic Specifications\u201d, Proc. of the Third Italian Conference on Theoretical Computer Science, World Scientific, 1989."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Goguen J.; Meseguer J. \u201cModels and Equality for Logical Programming\u201d, Proc. of TAPSOFT '87, Berlin, Springer Verlag 1987, LNCS 250, 1987.","DOI":"10.1007\/BFb0014969"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Groote J. F.; Vaandrager F. \u201cStructured Operational Semantics and Bisimulation as a Congruence\u201d Proc. ICALP '89, LNCS 372, 1989.","DOI":"10.1007\/BFb0035774"},{"key":"1_CR16","unstructured":"van Glabbeek R. J.; Weijland W. P. \u201cBranching Time and Abstraction in Bisimulation Semantics\u201d, Information Processing '89, North Holland, 1989."},{"key":"1_CR17","series-title":"Journal of the ACM","volume-title":"Algebraic Laws for Nondeterminism and Concurrency","author":"M. Hennessy","year":"1985","unstructured":"Hennessy M.; Milner R. \u201cAlgebraic Laws for Nondeterminism and Concurrency\u201d, Journal of the ACM, Vol. 26, n. 1, ACM, New York, 1985."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Milner R. \u201cCalculi for Synchrony and Asynchrony\u201d, JTCS 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"1_CR19","unstructured":"Milner R. Operational and Algebraic Semantics of Concurrent Processes, LFCS Report Series, Dept. of Computer Science, University of Edinburgh, ECS-LFCS-88\u201346, February 1988."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Park D. \u201cConcurrency and Automata on Infinite Sequences\u201d, Proc. 5th GI Conf., LNCS 104, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Thomsen B., \u201cA Calculus of Higher-Order Communicating Systems\u201d, Proc. POPL Conference, 1989.","DOI":"10.1145\/75277.75290"}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:05Z","timestamp":1605646205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}