scientific article; zbMATH DE number 5587278
From MaRDI portal
Publication:5190785
zbMath1194.68145MaRDI QIDQ5190785
Anca Muscholl, Igor Walukiewicz, Marc Zeitoun
Publication date: 27 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Distributed Asynchronous Games With Causal Memory are Undecidable ⋮ Unnamed Item ⋮ Petri games: synthesis of distributed systems with causal memory ⋮ Unnamed Item
This page was built for publication:
