scientific article; zbMATH DE number 1759637
From MaRDI portal
Publication:4536630
zbMath0999.68126MaRDI QIDQ4536630
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ Program verification using symbolic game semantics ⋮ A succinct canonical register automaton model ⋮ A Semantic Condition for Data Independence and Applications in Hardware Verification
This page was built for publication:
