An Operational Semantics and Compiler for Real-Time Specifications.

Carlos Puchol Douglas A. Stuart Aloysius K. Mok

Published in: Integr. Comput. Aided Eng. (1998)

Keyphrases

operational semantics
real time
formal semantics
mental states
model theoretic
activity diagrams
data model
denotational semantics
high level
software systems
knowledge base
cooperative
general purpose
agent programming