scientific article
From MaRDI portal
Publication:2852102
zbMath1273.68216MaRDI QIDQ2852102
Axelle Ziegler, Catuscia Palamidessi, Dale A. Miller
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002234
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Nominal SOS ⋮ Unnamed Item ⋮ SOS formats and meta-theory: 20 years after ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Open bisimulation, revisited ⋮ Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ A congruence rule format for name-passing process calculi ⋮ Coverability Synthesis in Parametric Petri Nets ⋮ A Proof Theoretic Approach to Operational Semantics ⋮ A Well-behaved LTS for the Pi-calculus
This page was built for publication:
