16 search results - page 1 / 4 » Bisimulations in calculi modelling membranes |
FAC
2008
14 years 9 months ago
2008
Abstract. Bisimulations are well
69
Voted
CONCUR
2005
Springer
15 years 3 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...
80
Voted
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
74
Voted
TCSB
2010
14 years 8 months ago
2010
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
85
Voted
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...