Howe's Method for Contextual Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Howe's Method for Contextual Semantics

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.
Fichier principal
Vignette du fichier
Concur 15.pdf (464.33 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01192699 , version 1 (03-09-2015)

Identifiers

Cite

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⟩
260 View
125 Download

Altmetric

Share

Gmail Facebook X LinkedIn More