{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:00Z","timestamp":1760202720319},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583295"},{"type":"electronic","value":"9783540486541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_31","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"417-432","source":"Crossref","is-referenced-by-count":7,"title":["Testing-Based Abstractions for Value-Passing Systems"],"prefix":"10.1007","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","first-page":"260","volume-title":"Proceedings of the Workshop on Computer Aided Verification","author":"S Bensalem","year":"1992","unstructured":"S. Bensalem, A. Bouajjani, C. Loiseaux, and J. Sifakis. Property-preserving simulations. In Proceedings of the Workshop on Computer-Aided Verification, volume 663 of LNCS, pages 260\u2013273. Springer-Verlag, June 1992."},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"B. Bloom and R. Paige. Computing ready simulations efficiently. In Proceedings of the North American Process Algebra Workshop Workshops in Computing, pages 119\u2013134, Stony Brook, New York, August 1992. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3217-2_8"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. In Proceedings ACM POPL, pages 343\u2013354, January 1992.","DOI":"10.1145\/143165.143235"},{"issue":"2","key":"31_CR4","first-page":"244","volume":"8","author":"EM Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8 (2): 244\u2013263, April 1986.","journal-title":"Aspecifications"},{"issue":"8","key":"31_CR5","first-page":"725","volume":"27","author":"R Cleaveland","year":"1990","unstructured":"R. Cleaveland. Tableau-based model checking in the propositional mu-calculus. Acta Informatica, 27 (8): 725\u2013747, September 1990.","journal-title":"September"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R Cleaveland","year":"1993","unstructured":"R. Cleaveland and M.C.B. Hennessy. Testing equivalence as a bisimulation equivalence. Formal Aspects of Computing, 5: 1\u201320, 1993.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"31_CR7","first-page":"36","volume":"15","author":"R Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM TOPLAS, 15 (1): 36\u201372, January 1993.","journal-title":"Asystems"},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01383878","volume":"2","author":"R Cleaveland","year":"1993","unstructured":"R. Cleaveland and B. Steffen. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal Methods in System Design, 2: 121\u2013147, 1993.","journal-title":"Methods in System Design"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In PULP \u201882, volume 631 of LNCS, pages 269\u2013295. Springer-Verlag, August 1992.","DOI":"10.1007\/3-540-55844-6_142"},{"key":"31_CR10","unstructured":"D. Dams, O. Grumb erg, and R. Gerth. Abstract interpretation of reactive systems: Abstractions preserving VCTL\u2019, 3CTL\u2022 and CTL\u2019. In PROCOMET \u201884 IFIP Transactions. NorthHolland\/Elsevier, June 1994. Full version available from Eindhoven University of Technology."},{"key":"31_CR11","volume-title":"Communications protocols for the B-HIVE multicomputer","author":"J Goyer","year":"1991","unstructured":"J. Goyer. Communications protocols for the B-HIVE multicomputer. Master\u2019s thesis, North Carolina State University, 1991."},{"key":"31_CR12","unstructured":"E. Harcourt, J. Mauney, and T. Cook. Specification of instruction-level parallelism. In Proceedings of the North American Process Algebra Workshop August 1993. Technical Report TR93\u20131369, Cornell University."},{"key":"31_CR13","volume-title":"Algebraic Theory of Processes","author":"MCB Hennessy","year":"1988","unstructured":"M.C.B. Hennessy. Algebraic Theory of Processes. MIT Press, Boston, 1988."},{"key":"31_CR14","first-page":"202","volume":"107","author":"MCB Hennessy","year":"1993","unstructured":"M.C.B. Hennessy and A. Ing\u00f3lfsd\u00f3ttir. A theory of communicating processes with value-passing. Information and Computation, 107: 202\u2013236, December 1993.","journal-title":"A theory of communicating processes with value-passing. Information and Computation"},{"key":"31_CR15","volume-title":"Sussex University","author":"MCB Hennessy","year":"1992","unstructured":"M.C.B. Hennessy and H. Lin. Symbolic bisimulations. Technical Report 1\/92, Sussex University, 1992."},{"key":"31_CR16","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985."},{"key":"31_CR17","unstructured":"N.D. Jones and F. Nielson. Abstract Interpretation: a Semantics-Based Tool for Program Analysis. Handbook of Theoretical Computer Science. Oxford, To appear."},{"issue":"1","key":"31_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P Kanellakis","year":"1990","unstructured":"P. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86 (1): 43\u201368, May 1990.","journal-title":"Information and Computation"},{"key":"31_CR19","first-page":"493","volume-title":"Proceedings","author":"F Nielson","year":"1993","unstructured":"F. Nielson and H. Nielson. From CML to process algebras. In E. Best, editor, Proceedings of CONCUR \u201883, volume 715 of LNCS, pages 493\u2013508, Hildesheim, Germany, August 1993. Springer-Verlag."},{"key":"31_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E-R Olderog","year":"1986","unstructured":"E.-R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica, 23: 9\u201366, 1986.","journal-title":"Acta Informatica"},{"issue":"6","key":"31_CR21","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"R. Paige and R.E. Tarjan. Three partition refinement algorithms. SIAM Journal of Computing, 16 (6): 973\u2013989, December 1987.","journal-title":"SIAM Journal of Computing"},{"key":"31_CR22","unstructured":"J. Parrow. Verifying a CSMA\/CD-protocol with CCS. In Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification pages 373\u2013387, Atlantic City, New Jersey, June 1988. North-Holland."},{"key":"31_CR23","unstructured":"J. Richier, C. Rodgrigues, J. Sifakis, and J. Voiron. Verification in XESAR of the sliding window protocol. In Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification pages 235\u2013250, Zurich, May 1987. North-Holland."},{"key":"31_CR24","unstructured":"V. Roy and R. de Simone. Auto\/Autograph. In Computer-Aided Verification \u201880 pages 235250, Piscataway, New Jersey, July 1990. American Mathematical Society."},{"key":"31_CR25","doi-asserted-by":"crossref","unstructured":"C. Stirling and D. Walker. Local model checking in the modal mu-calculus. In TAPSOFT \u201889 volume 352 of LNCS pages 369\u2013383, Barcelona, March 1989. Springer-Verlag.","DOI":"10.1007\/3-540-50939-9_144"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek. The linear time\u2013branching time spectrum. In Proceedings of CONCUR \u201880, volume 458 of LNCS, pages 278\u2013297. Springer-Verlag, August 1990.","DOI":"10.1007\/BFb0039066"},{"key":"31_CR27","unstructured":"M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proceedings of the Symposium on Logic in Computer Science pages 332\u2013344, Cambridge, Massachusetts, June 1986. Computer Society Press."},{"key":"31_CR28","doi-asserted-by":"crossref","unstructured":"G. Winskel. A note on model checking the modal v-calculus. In Proceedings ICALP volume 372 of LNCS pages 761\u2013772, Stresa, Italy, July 1989. Springer-Verlag.","DOI":"10.1007\/BFb0035797"},{"key":"31_CR29","first-page":"184","volume-title":"Proceedings ACM POPL","author":"P Wolper","year":"1986","unstructured":"P. Wolper. Expressing interesting properties of programs in propositional temporal logic. In Proceedings ACM POPL, pages 184\u2013193, January 1986."},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"W.J. Yeh and M. Young. Compositional reachability analysis using process algebra. In TAV \u201881, pages 49\u201359. ACM SIGSOFT, ACM Press, October 1991.","DOI":"10.1145\/120807.120812"}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T18:42:36Z","timestamp":1558809756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}