On the Meaning of Transition System Specifications.

Rob van Glabbeek

Published in: EXPRESS/SOS (2019)

Keyphrases

natural language
control flow
delay insensitive
high level
formal specification
semantic interpretation
written in natural language
data sets
data mining
machine learning
case study
database systems
state transitions
reactive systems