2 search results - page 1 / 1 » Deriving Bisimulation Congruences: 2-Categories Vs Precatego... |
105
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...