scientific article; zbMATH DE number 2172808
From MaRDI portal
Publication:4680195
zbMath1104.68507MaRDI QIDQ4680195
Publication date: 2 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powertransition systemscomputation modelsAbstract State Machinessequential algorithmsspecification technique
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Reactive computing as model generation ⋮ The computable kernel of abstract state machines ⋮ Proving properties of the Chord protocol using the ASM formalism
This page was built for publication:
