Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.

Vincent van Oostrom Erik P. de Vink

Published in: STACS (1994)

Keyphrases

formal specification
formal language
reactive systems
operational semantics
requirements specification
model checking
formal methods
controlled natural language
databases
specification language
control flow
socio technical
formal descriptions
database
web services
source code