4 search results - page 1 / 1 » Normal Bisimulations in Calculi with Passivation |
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
LICS
2008
IEEE
14 years 5 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...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
CSL
2007
Springer
14 years 5 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...