scientific article

zbMath1271.68193MaRDI QIDQ2847818

Luís Monteiro

Publication date: 11 September 2013

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

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 (3)

Bialgebraic methods and modal logic in structural operational semantics ⋮ Co-Algebraic Models for Quantitative Spatial Logics ⋮ Modular Games for Coalgebraic Fixed Point Logics

This page was built for publication: