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

Howe's Method for Contextual Semantics

Sergueï Lenglet
  • Function : Author
  • PersonId : 945356
Formal islands: foundations and applications
Alan Schmitt
Software certification with semantic analysis
CV

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.

Domains

Formal Languages and Automata Theory [cs.FL]
Fichier principal
Vignette du fichier
Concur 15.pdf (464.33 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive

Sergueï Lenglet  : Connect in order to contact the contributor

https://inria.hal.science/hal-01192699

Submitted on : Thursday, September 3, 2015-12:24:24 PM

Last modification on : Tuesday, August 27, 2024-12:46:05 PM

Long-term archiving on : Friday, December 4, 2015-11:12:45 AM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
273 View
148 Download

Altmetric

Share

More