We show how to apply Howe's method for the proof of congruence of early bisimilarities in a higher-order process calculus with passivation. This involves the introduction of a proof technique based on a new kind of transition system and bisimilarity, called complementary semantics. We show that complementary semantics is equivalent to contextual semantics, originally introduced by Sangiorgi, that relies on classical transition systems for higher-order calculi and context bisimilarity. We apply this technique to obtain the first characterization of weak barbed congruence for such a higher-order calculus with passivation. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lenglet, S., Schmitt, A., & Stefani, J. B. (2009). Howe’s method for calculi with passivation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5710 LNCS, pp. 448–462). Springer Verlag. https://doi.org/10.1007/978-3-642-04081-8_30
Mendeley helps you to discover research relevant for your work.