scientific article; zbMATH DE number 5222369
From MaRDI portal
Publication:5431917
zbMath1128.68062MaRDI QIDQ5431917
Anca Muscholl, Blaise Genest, Dietrich Kuske
Publication date: 2 January 2008
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 (5)
Communicating Finite-State Machines and Two-Variable Logic ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic ⋮ Unnamed Item ⋮ Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
This page was built for publication:
