4 search results - page 1 / 1 » Deriving Bisimulation Congruences with Borrowed Contexts |
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
FOSSACS
2008
Springer
14 years 11 days ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
CONCUR
2005
Springer
14 years 4 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...