scientific article; zbMATH DE number 5018345
From MaRDI portal
Publication:5200808
zbMath1140.68046MaRDI QIDQ5200808
Publication date: 12 April 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14)
Related Items (7)
How to stop time stopping ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ The two variable per inequality abstract domain ⋮ Analysing neurobiological models using communicating automata ⋮ Relational concurrent refinement. II: Internal operations and outputs ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
This page was built for publication:
