Abstract | ||
---|---|---|
In practice, distributed systems are quite often composed by an arbitrarily large but finite number of processes that execute a similar program. Abstract interpretation is an effective technique to fight state explosion problems. In this paper, we propose a general framework for abstracting parallel composition of uniform processes with data, in the setting of a process algebraic language μCRL We illustrate the feasibility of this technique by proposing two instances of the general framework and applying them to the verification of two systems. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/SEFM.2004.1347499 | Theoretical Computer Science |
Keywords | Field | DocType |
parallel uniform processes,parallel processing,distributed systems,abstract interpretation,algebraic specification,μcrl language,program execution,finite number,state explosion problems,process algebraic language,parallel composition,parallel uniform process,state explosion problem,system verification,abstract data types,similar program,general framework,uniform process,effective technique,process algebra,formal verification,distributed system | Abstract data type,Algebraic specification,Programming language,Finite set,Algebraic number,Computer science,Abstract interpretation,Theoretical computer science,Process calculus,Arbitrarily large,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2222-X | 1 | 0.37 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jun Pang | 1 | 521 | 30.59 |
Jaco Van De Pol | 2 | 1022 | 78.19 |
Miguel Valero Espada | 3 | 35 | 3.59 |