scientific article; zbMATH DE number 1746645

zbMath0986.68063MaRDI QIDQ4530804

Stephan Merz

Publication date: 28 May 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Authentication, digital signatures and secret sharing (94A62)

Related Items (5)

Process-centric views of data-driven business artifacts ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ On-the-fly Emptiness Check of Transition-Based Streett Automata ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting ⋮ Towards Deriving Test Sequences by Model Checking

Uses Software

• HyTech
• Uppaal

This page was built for publication: