Specification-Oriented Semantics for Communicating Processes.
Ernst-Rüdiger OlderogC. A. R. HoarePublished in: ICALP (1983)
Keyphrases
- specification language
- specification languages
- conceptual model
- communication channels
- operational semantics
- active rules
- formal semantics
- dynamic aspects
- formal specification
- conceptual schema
- formal language
- high level
- description language
- data sets
- default reasoning
- programming language
- action language
- neural network