Specification-Oriented Semantics for Communicating Processes.

Ernst-Rüdiger Olderog C. A. R. Hoare

Published in: Acta Informatica (1986)

Keyphrases

specification language
communication channels
operational semantics
specification languages
semantic information
conceptual model
sharing information
neural network
formal semantics
active rules
formal language
dynamic aspects
knowledge representation
formal specification
transformation rules