Name
Abstract | ||
|---|---|---|
We show that the Weak Late ~r-calcuius semantics can be characterized as ordinary Observation congruence over a specialized tran- sition system where both the instantiation of input placeholders and the name substitutions, clue e.g. to communication, are explicitly handled via suitable constructors. The approach presented here allows to axiomatize the Weak Late lr-calcuhis semantics by simply adding Milner's r-laws to the proof system for the Strong equivalence. Resorting to Observation equivalence provides a framework which is general enough to allow to re- cover, in straightforward ways, other bisimulation semantics (e.g. Early, both Strong and Weak, and Dynamic and Branching, both Early and Late). |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/3-540-60218-6_5 | CONCUR |
Keywords | Field | DocType |
pi-calculus semantics,observation equivalence | Transition system,Discrete mathematics,Pi calculus,Computer science,Equivalence (measure theory),Bisimulation,Rule of inference,Congruence (geometry),Semantics,Branching (version control) | Conference |
ISBN | Citations | PageRank |
3-540-60218-6 | 8 | 0.66 |
References | Authors | |
20 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gian Luigi Ferrari | 1 | 731 | 59.95 |
| Ugo Montanari | 2 | 6297 | 1135.53 |
| Paola Quaglia | 3 | 356 | 27.06 |