Formalizing cCSP Synchronous Semantics in PVS

Shamim Ripon Michael J. Butler

Published in: CoRR (2010)

Keyphrases

formal semantics
formal verification
semantic information
operational semantics
asynchronous communication
knowledge base
natural language
data model
logic programming
model theoretic
unit commitment