scientific article

zbMath1272.68293MaRDI QIDQ2848140

Jens Chr. Godskesen, Mikkel Bundgaard, Thomas Troels Hildebrandt

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001593

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Howe’s Method for Calculi with Passivation ⋮ Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ On the expressiveness and decidability of higher-order process calculi ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Decidable Fragments of a Higher Order Calculus with Locations ⋮ A CPS encoding of name-passing in higher-order mobile embedded resources ⋮ Normal Bisimulations in Calculi with Passivation

This page was built for publication: