scientific article
From MaRDI portal
Publication:2871848
zbMath1278.68149MaRDI QIDQ2871848
David de Frutos-Escrig, Carlos Gregorio Rodríguez
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001795?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationsnested simulationsaxiomatization of semanticsconstrained simulationsprocess preorders and equivalences
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
