6 search results - page 2 / 2 » Parallel Replacement in Finite State Calculus |
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...