HP Labs Technical Reports

A Semantics for CCS Using Distributed Causal Streams

Mowbray, Miranda

HPL-91-151

Keyword(s):

Abstract: This paper uses distributed causal streams to give a semantics for the language CCS. The semantics takes both causality and distribution into account, is incremental, and is more abstract than previous causal semantics

Back to Index