HP Labs Technical Reports

A Semantics for CCS Using Distributed Causal Streams

Mowbray, Miranda



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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]