scientific article

zbMath1271.68187MaRDI QIDQ2847815

Bartek Klin

Publication date: 11 September 2013

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

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

Weakest preconditions in fibrations, A coalgebraic approach to the semantics of the ambient calculus, Expressivity of coalgebraic modal logic: the limits and beyond, Processes as formal power series: a coinductive approach to denotational semantics, (Bi)simulations up-to characterise process semantics