Rance Cleaveland, James Riely  Home/Search
Context Related
| sunysb.edu/~rance/pub...concur94a.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sunysb.edu/~cram/mc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions for Value-Passing Systems ? Rance Cleaveland ?? and James Riely ??? 1 Dept. of Computer Science, N.C. State University, Raleigh, NC 27695-8206, USA 2 Dept. of Computer Science, University of N.C., Chapel Hill, NC 27599-3175, USA email: rance@csc.ncsu.edu, riely@cs.unc.edu Abstract. This paper presents a framework for the abstract interpretation of processes that pass values. We define a process description language that is parameterized with respect to the set of values that... (Update)
Context of citations to this paper: More
...its infinitely many computational courses. Furthermore, abstract interpretation has been adapted to to cope with concurrent systems [10, 13] which do not necessarily terminate and has become increasingly popular as an approach to model checking [12, 35] both for large finite...
.... programs [55, 1] More recently, this approach has been applied to reactive systems and, in particular, labelled transition systems [9, 23, 28, 26]. The idea being that enough structure of some transition systems can sometimes be preserved after abstracting, or collecting...
Cited by: More
Formalisation and verification of the Chilean electronic.. - Barros, Madelaine (2004) (Correct)
Parameterized Models for Distributed Java Objects - Tomas Barros Rabea (Correct)
Mechanical Abstraction of CSPz Processes - Mota, Borba, Sampaio (2002) (Correct)
Similar documents (at the sentence level):
46.0%: Testing-Based Abstractions for Value-Passing Systems - Cleaveland, Riely (1994) (Correct)
Active bibliography (related documents): More All
0.4: Verification Tools from the CONCUR project - Madelaine (1992) (Correct)
0.4: The Concurrency Workbench: A Semantics Based Tool for.. - Cleaveland, Parrow.. (1994) (Correct)
0.2: Formal Specification and Simulation of Instruction-Level.. - Harcourt, Mauney, Cook (1994) (Correct)
Similar documents based on text: More All
0.2: A Theory of Efficiency for Markovian Processes - Bernardo, Cleaveland (2000) (Correct)
0.2: The Integrated CWB-NC/PIOATool for Functional.. - Zhang, Cleaveland, Stark (Correct)
0.2: A Front-End Generator for Verification Tools - Cleaveland, Madelaine, Sims (1995) (Correct)
Related documents from co-citation: More All
8: Communication and Concurrency (context) - Milner - 1989
7: Model Checking and Abstraction - Clarke, Grumberg et al. - 1992
7: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
BibTeX entry: (Update)
Cleaveland, R. and Riely, J.: Testing-based abstractions for value passing systems. In Proceedings of CONCUR'94, Stockholm (Sweden), volume 836 of LNCS, 1994. http://citeseer.ist.psu.edu/article/cleaveland94testingbased.html More
@inproceedings{ cleaveland94testingbased,
author = "Rance Cleaveland and James Riely",
title = "Testing-Based Abstractions for Value-Passing Systems",
booktitle = "International Conference on Concurrency Theory",
pages = "417-432",
year = "1994",
url = "citeseer.ist.psu.edu/article/cleaveland94testingbased.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
299 Algebraic Theory of Processes (context) - Hennessy - 1988
232 The Concurrency Workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
231 Model checking and abstraction - Clarke, Grumberg et al. - 1992
201 Three partition refinement algorithms (context) - Paige, Tarjan - 1987
137 Local model checking in the modal mu-calculus (context) - Stirling, Walker - 1989
136 Information and Computation (context) - Kanellakis, Smolka et al. - 1990
106 A linear-time model-checking algorithm for the alternation-f.. - Cleaveland, Steffen - 1993
96 Expressing interesting properties of programs in proposition.. (context) - Wolper - 1986
95 The linear time -- branching time spectrum (context) - van Glabbeek - 1990
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
72 Tableau-based model checking in the propositional mu-calculu.. - Cleaveland - 1990
60 Property-preserving simulations (context) - Bensalem, Bouajjani et al. - 1992
54 Abstract Interpretation: a Semantics-Based Tool for Program .. (context) - Jones, Nielson
51 Compositional reachability analysis using process algebra - Yeh, Young - 1991
48 Comparing the Galois connection and widening/narrowing appro.. - Cousot, Cousot - 1992
43 Abstract interpretation of reactive systems: Abstractions pr.. (context) - Dams, Grumberg et al. - 1994
39 A note on model checking the modal -calculus (context) - Winskel - 1989
34 From CML to process algebras - Nielson, Nielson - 1993
31 Verification in XESAR of the sliding window protocol (context) - Richier, Rodgriguez et al. - 1987
28 Symbolic bisimulations (context) - Hennessy, Lin - 1992
28 Testing equivalence as a bisimulation equivalence (context) - Cleaveland, Hennessy - 1993
24 A theory of communicating processes with valuepassing (context) - Hennessy, Ing'olfsd'ottir - 1993
9 CD-protocol with CCS (context) - Parrow, CSMA - 1988
8 Computing ready simulations efficiently (context) - Bloom, Paige - 1992
4 Specification of instruction-level parallelism (context) - Harcourt, Mauney et al. - 1993
3 Communications protocols for the B-HIVE multicomputer (context) - Goyer - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.sunysb.edu/~cram/mc/):
Optimality in Abstractions of Model Checking - Rance Cleaveland Purush (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC