Replacement freeness: A criterion for separating process calculi
We introduce a new criterion to discern the relative expressiveness of process calculi. Intuitively, a calculus is replacement free if replacing a sub-process that cannot perform any visible action by an arbitrary one never affects the capability of the resulting process to perform a visible action....
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 116; p. 100579 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
01.11.2020
|
| Online Access | Get full text |
Cover
Loading…
Be the first to leave a comment!