{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:24Z","timestamp":1725663624052},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_102","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:56:19Z","timestamp":1330257379000},"page":"558-569","source":"Crossref","is-referenced-by-count":1,"title":["Extended transition systems for parametric bisimulation"],"prefix":"10.1007","author":[{"given":"Paula","family":"Inverardi","sequence":"first","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Yankelevich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"4","key":"46_CR1","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I., A non-interleaving semantics for CCS based on proved transitions, Fundamenta Informaticae, XI (4), 1988, 433\u2013452.","journal-title":"Fundamenta Informaticae"},{"key":"46_CR2","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A., A Theory of Processes with Localities, in Proc. CONCUR. 92, LNCS, Springer-Verlag. 1992."},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Darondeau, Ph., Degano, P., Causal Trees, in Proc. ICALP '89, LNCS 372, 1989, 234\u2013248.","DOI":"10.1007\/BFb0035764"},{"key":"46_CR4","unstructured":"Degano, P., De Nicola, R., Montanari, U., On the Operational Semantics of Distributed Concurrent Systems, in Proc. IFIP'88 (David, Boute, and Shriver Eds), North-Holland, 1990. 3\u201332."},{"key":"46_CR5","unstructured":"Degano, P., De Nicola, R., Montanari, U., Universal Axioms for Bisimulations, Tech. Rep. TR 9\/92, Dipartimento di Informatica, Universit\u00e0 di Pisa, to appear in Theoretical Computer Science."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Degano, P., De Nicola, R., Montanari, U., Observation Trees, in Proc. NAPAW'92.","DOI":"10.1007\/978-1-4471-3217-2_7"},{"key":"46_CR7","first-page":"422","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P., Montanari, U., Concurrent Histories: A Basis for Observing Distributed Systems, J.C.S.S., 34. 1987, 422\u2013461.","journal-title":"J.C.S.S."},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Degano, P., Priami, C., Proved Trees, in Proc. ICALP'92, LNCS 623, Springer, 1992. 629\u2013640.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"Ferrari, G., Gorrieri, R., Montanari, U., An Extended Expansion Theorem, in Proc. TAPSOFT'91, LNCS 494. Springer-Verlag. 1991, 29\u201348.","DOI":"10.1007\/3540539816_56"},{"key":"46_CR10","unstructured":"Inverardi, P., Priami, C., Evaluation of Tools for the Analysis of Communicating Systems, EATCS Bullettin. n. 45. 1991."},{"key":"46_CR11","unstructured":"Inverardi, P., Priami, C., Yankelevich, D. Verifying concurrent systems in SML, in Proc. of ACM SIGPLAN Workshop on ML and its Applications, San Francisco, June 1992."},{"key":"46_CR12","unstructured":"Kiehn, A., Local and Global Causes, Report Technische Universit\u00e4t Munchen 342\/23\/91 A, 1991."},{"key":"46_CR13","unstructured":"Korver, H., The Current States of Bisimulation Tools, Tech. Rep. P9101, CWI, 1991."},{"key":"46_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R., Communication and Concurrency. Prentice Hall International, London 1989."},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Montanari. U., Yankelevich, D., A Parametric Approach to Localities, in Proc. ICALP'92, LNCS 623, Springer-Verlag, 1992, 617\u2013628.","DOI":"10.1007\/3-540-55719-9_109"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences, in Proc. GI, LNCS 104, Springer-Verlag, 1981, 167\u2013183.","DOI":"10.1007\/BFb0017309"},{"key":"46_CR17","unstructured":"Plotkin, G., A Structural Approach to Operational Semantics. Tech.Rep. DAIMI FN-19, Aarhus Univ, 1981."},{"issue":"3","key":"46_CR18","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/322261.322272","volume":"28","author":"R. Tarjan","year":"1981","unstructured":"Tarjan, R., A Unified Approach to Path Problems, J. ACM 28, 3, 1981, 577\u2013593.","journal-title":"J. ACM"},{"issue":"3","key":"46_CR19","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1145\/322261.322273","volume":"28","author":"R. Tarjan","year":"1981","unstructured":"Tarjan, R., Fast Algorithms for Solving Path Problems, J. ACM 28, 3, 1981, 594\u2013614.","journal-title":"J. ACM"},{"key":"46_CR20","unstructured":"Yankelevich, D., Parametric Views of Process Description Languages, PhD Thesis Universit\u00e0 di Pisa, TD 23\/93. 1993."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_102.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:09:33Z","timestamp":1640927373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_102","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}