4 search results - page 1 / 1 » Bisimilarity and Behaviour-Preserving Reconfigurations of Op... |
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
CONCUR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
IANDC
2006
13 years 11 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...