2 search results - page 1 / 1 » Deriving Bisimulation Congruences: 2-Categories Vs Precatego... |
145
Voted
FOSSACS
2003
Springer
16 years 19 days ago
2003
Springer
162
click to vote
CONCUR
2005
Springer
16 years 29 days 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...