Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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 :
Reports (Research report)
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Alan Schmitt Connect in order to contact the contributor
Submitted on : Friday, June 26, 2015 - 4:08:50 PM
Last modification on : Thursday, October 27, 2022 - 3:44:51 AM
Long-term archiving on: : Friday, October 9, 2015 - 6:55:14 PM


Files produced by the author(s)


  • HAL Id : hal-01168865, version 1


Sergueï Lenglet, Alan Schmitt. Howe's Method for Contextual Semantics. [Research Report] RR-8750, Inria. 2015, pp.31. ⟨hal-01168865⟩



Record views


Files downloads