A Semantics and Proof System for Communicating Processes.

Stephen D. Brookes

Published in: Logic of Programs (1983)

Keyphrases

communication channels
dynamic aspects
high level
computational models
logical framework
database
data sets
genetic algorithm
object oriented
logic programming
process model
operational semantics