scientific article
From MaRDI portal
Publication:2769439
zbMath0978.68078MaRDI QIDQ2769439
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300332
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)
Bounded MSC communication ⋮ Regular sets of infinite message sequence charts ⋮ MSO Logic for Unambiguous Shared-Memory Systems ⋮ The star problem and the finite power property in trace monoids: Reductions beyond C4
This page was built for publication:
