Specifications Using CADP.

Dimitris Vekris Frédéric Lang Catalin Dima Radu Mateescu

Published in: IFM (2013)

Keyphrases

delay insensitive
formal specification
real time
operational semantics
reactive systems
decision trees
information technology
special case
finite state machines
specification language
written in natural language