Skip to Main content Skip to Navigation
Reports

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
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01168865
Contributor : Alan Schmitt <>
Submitted on : Friday, June 26, 2015 - 4:08:50 PM
Last modification on : Friday, July 10, 2020 - 4:16:35 PM
Long-term archiving on: : Friday, October 9, 2015 - 6:55:14 PM

File

RR-8750.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01168865, version 1

Citation

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

Share

Metrics

Record views

1087

Files downloads

222