Operational Semantics of a Parallel Object-Oriented Language.

Pierre America Jaco de Bakker Joost N. Kok Jan J. M. M. Rutten

Published in: POPL (1986)

Keyphrases

operational semantics
formal semantics
data model
mental states
model theoretic
declarative semantics
activity diagrams
machine learning
software engineering
agent programming