Name
Abstract | ||
|---|---|---|
Communicating processes, which may exhibit nondeterministic behaviour, are specified as state-transition systems. Equivalence and refinement relations are defined in terms of the failures model of processes. Downward and upward simulation are considered as proof methods for refinement. Various operators on processes are defined and their refinement rules established. |
Year | DOI | Venue |
|---|---|---|
1988 | 10.1007/BF01788563 | Distributed computing |
Keywords | Field | DocType |
Communicating processes,State-transition systems,Refinement,Simulation,Failures model | Nondeterministic algorithm,Petroleum engineering,Algorithm,Theoretical computer science,Equivalence (measure theory),Operator (computer programming),Engineering,State transition systems | Journal |
Volume | Issue | ISSN |
3 | 1 | 0178-2770 |
Citations | PageRank | References |
68 | 6.27 | 4 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark B. Josephs | 1 | 302 | 35.24 |