An Operational Semantics of Real-Time Process Algebra (RTPA).

Yingxu Wang Cyprian F. Ngolah

Published in: Int. J. Cogn. Informatics Nat. Intell. (2008)

Keyphrases

operational semantics
behavioral models
code generator
dynamic behaviors
data model
formal semantics
architectural models
hierarchical structures
mental states
process model
code generation
databases
conceptual model
automatically generated
e learning
case study