The State-Based CCS Semantics for Concurrent Z Specification.

Kenji Taguchi Keijiro Araki

Published in: ICFEM (1997)

Keyphrases

specification language
high level
operational semantics
hidden markov models
state space
semantic information
conceptual model
state transition
formal methods
active rules