Publication:4535058
From MaRDI portal
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
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
An invariant-based approach to the verification of asynchronous parameterized networks, Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic, Observations on determinization of Büchi automata, Applicability of fair simulation, Matching in security-by-contract for mobile code