Kripke Open Bisimulation
From MaRDI portal
Publication:3460912
DOI10.1007/978-3-319-26529-2_15zbMath1329.68077OpenAlexW2487055703MaRDI QIDQ3460912
Nicolas Tabareau, Guilhem Jaber
Publication date: 8 January 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-26529-2_15
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Kripke Open Bisimulation