An Algebraic View of Interleaving and Distributed Operational Semantics for CCS.

Ugo Montanari Daniel Yankelevich

Published in: Category Theory and Computer Science (1989)

Keyphrases

operational semantics
formal semantics
distributed systems
mental states
multi agent
data model
denotational semantics
activity diagrams
model theoretic
agent programming
databases
machine learning
database systems
cooperative
expert systems
declarative semantics