Skip to Main content Skip to Navigation
Conference papers

Howe's Method for Contextual Semantics

Sergueï Lenglet 1 Alan Schmitt 2 
1 PAREO - Formal islands: foundations and applications
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We show how to use Howe's method to prove that context bisimilarity is a congruence for process calculi equipped with their usual semantics. We apply the method to two extensions of HOπ, with passivation and with join patterns, illustrating different proof techniques.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Sergueï Lenglet Connect in order to contact the contributor
Submitted on : Thursday, September 3, 2015 - 12:24:24 PM
Last modification on : Thursday, January 20, 2022 - 5:33:21 PM
Long-term archiving on: : Friday, December 4, 2015 - 11:12:45 AM


Concur 15.pdf
Publisher files allowed on an open archive



Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩. ⟨hal-01192699⟩



Record views


Files downloads