Login / Signup
Deriving Denotational Models for Bisimulation from Structured Operational Semantics.
Jan J. M. M. Rutten
Published in:
Programming Concepts and Methods (1990)
Keyphrases
</>
operational semantics
activity diagrams
formal semantics
probabilistic model
mental states
knowledge base
data model
model theoretic