Howe's method for contextual semantics

DOI10.4230/LIPICS.CONCUR.2015.212MaRDI QIDQ5357705zbMATH OpenOpenAlexFDO

Authors Sergueï Lenglet, Alan Schmitt

Publication date 12 September 2017

Full work available at URL https://hal.inria.fr/hal-01192699

zbMATH Keywords

bisimulationHowe's methodprocess calculi

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Howe’s Method for Calculi with Passivation
• Infinitary Howe's method
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Characterizing contextual equivalence in calculi with passivation
• Contextual labelled semantics for higher-order process calculi

Cited in

(7)

• \(\mathrm{HO}\pi\) in Coq
• Characteristic bisimulation for higher-order session processes
• Infinitary Howe's method
• Howe’s Method for Calculi with Passivation
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• scientific article; zbMATH DE number 5050478 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Howe's method for contextual semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357705)