Vijay K. Garg  Home/Search
Context
Related
| utexas.edu/~vijay/dist/analysis.ps.Z utexas.edu/~garg/dist/analysis.ps.Z 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: utexas.edu/~vijay/dist (more) From: utexas.edu/~garg/dist (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed systems are difficult to design and the simplest of them can have subtle errors. Conventional automatic analysis techniques to catch these errors may be infeasible because the system may have a large, or even an unknown, number of processes. These techniques, which are based on state space exploration, run into the state explosion problem. Since most distributed systems have one or more sets of identical processes, we exploit the symmetry to reduce the state space for automatic... (Update)
Active bibliography (related documents): More All
0.5: Concurrent Regular Expressions and their Relationship to Petri .. - Garg, Raghunath (1992) (Correct)
0.5: Modeling of Distributed Systems by Concurrent Regular Expressions - Garg (1989) (Correct)
0.5: Hierarchical Time-Extended Petri Nets (H-EPNs) for Integrated.. - Ramaswamy (1994) (Correct)
Similar documents based on text: More All
0.2: Maintaining Global Assertions on Distributed Systems - Tomlinson, Garg (1994) (Correct)
0.1: Cv - Tarafdar (Correct)
0.1: Observation of Software for Distributed Systems with RCL - Alexander Tomlinson (1995) (Correct)
BibTeX entry: (Update)
@misc{ garg-exploiting,
author = "Vijay K. Garg",
title = "Exploiting Symmetry for Analysis of Distributed Systems",
url = "citeseer.ist.psu.edu/142670.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1097 Automatic Verification of FiniteState Concurrent Systems usi.. (context) - Clarke, Emerson et al. - 1986
413 Petri-Net Theory and Modeling of Systems (context) - Peterson - 1981
204 Lecture Notes in Computer Science (context) - of, Systems - 1980
195 Parallel Program Design (context) - Chandy, Misra - 1988
131 Modeling Concurrency with Partial Orders (context) - Pratt - 1986
66 Reasoning about Networks with many Identical Finite-State Pr.. (context) - Clarke, Grumberg et al. - 1986
48 A Hierarchy of Temporal Properties (context) - Manna, Pnueli - 1990
47 Avoiding The State Explosion Problem in Temporal Logic Model.. (context) - Clarke, Grumberg - 1987
46 Proofs of Networks of Processes (context) - Misra, Chandy - 1981
33 A Proof System for Communicating Sequential Processes (context) - Apt, Francez et al. - 1980
30 Automatic Verification of Asynchronous Circuits using Tempor.. (context) - Dill, Clarke - 1986
28 The Cambridge Distributed Computing System (context) - Needham, Herbert - 1984
25 Detecting Termination of Distributed Computations Using Mark.. (context) - Misra - 1983
23 Towards analyzing and synthesizing protocols (context) - Zafirolpulo, West et al. - 1980
18 An Overview of Affirm: A Specification and Verification Syst.. (context) - Gerhart - 1980
15 Invariance and Non-determinacy (context) - Dijkstra - 1985
10 Lecture notes in Computer Science (context) - Reisig, Nets et al. - 1985
9 Concurrent Regular Expressions and their Relationship to Pet.. - Garg, Raghunath - 1991
7 Hoare Logic' of CSP and All That - Lamport, Schneider - 1984
6 Specification and Analysis of Distributed Systems with a Lar.. (context) - Garg - 1988
6 An Automated Technique of communication protocol validation (context) - West - 1978
4 Modeling and Analysis of Concurrent Systems (context) - Murata - 1984
4 Modeling Concurrent Processes (context) - Kurshan - 1985
2 The Modeling, Analysis, and Synthesis of Communication Proto.. (context) - Dong - 1983
1 Analysis of Distributed Systems with Many Identical Processe.. (context) - Garg - 1988
1 Mechanical Verification of Automatic Implementation of Commu.. (context) - Blumer, Sidhu - 1986
1 Automated Implementation from Formal Specification (context) - Aggarwal, Kurshan - 1984
1 Predicate Calculus and Program Semantics Springer-Verlag (context) - Dijkstra, Scholten - 1990
1 A Structure Induction Theorem for Processes (context) - Kurshan, McMillian - 1989
Documents on the same site (http://maple.ece.utexas.edu/~vijay/dist.html): More
How to Recover Efficiently and Asynchronously when Optimism Fails - Damani, Garg (1995) (Correct)
Detection of Weak Unstable Predicates in Distributed Programs - Garg, Waldecker (1994) (Correct)
An Efficient Algorithm for Multi-Process Shared Events - Vijay Garg (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