scientific article

zbMath0987.68048MaRDI QIDQ2766526

Silvano Dal Zilio

Publication date: 28 January 2002

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

Model checking mobile ambients, A spatial logic for concurrency. I, An exercise in structural congruence, When ambients cannot be opened, Undecidability of Model Checking in Brane Logic