scientific article; zbMATH DE number 1754630
From MaRDI portal
Publication:4535058
zbMath0986.68049MaRDI QIDQ4535058
Thomas Wilke, Kousha Etessami, Rebecca A. Schuller
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760694
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 (8)
Applicability of fair simulation ⋮ Matching in security-by-contract for mobile code ⋮ Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic ⋮ Observations on determinization of Büchi automata ⋮ An invariant-based approach to the verification of asynchronous parameterized networks ⋮ Unnamed Item ⋮ Multi-buffer simulations: decidability and complexity ⋮ Topological Characterisation of Multi-Buffer Simulation
This page was built for publication:
