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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 metadata

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, January 8, 2021 - 3:41:01 AM
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

1133

Files downloads

288