Abstract State Machine Semantics of SDL.

Uwe Glässer Rene Karges

Published in: J. Univers. Comput. Sci. (1997)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
semantic information
low level
logic programming
formal semantics
database
higher level
temporal logic
specification language
active rules
argumentation semantics
propositional dynamic logic