Howe's Method for Contextual Semantics

DOI10.4230/LIPIcs.CONCUR.2015.212zbMath1374.68338OpenAlexW1206658659MaRDI QIDQ5357705

Sergueï Lenglet, Alan Schmitt

Publication date: 12 September 2017

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

zbMATH Keywords

bisimulationprocess calculiHowe's method

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)

Related Items (3)

Characteristic bisimulation for higher-order session processes ⋮ A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ \(\mathrm{HO}\pi\) in Coq

This page was built for publication: Howe's Method for Contextual Semantics