A denotational framework for fair communicating processes

Authors:
Susan Beth Older;Stephen Brookes
Affiliations:
-;-
Venue:
A denotational framework for fair communicating processes
Year:
1996

Citing 0
Cited 2

Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Retracing the semantics of CSP

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Quantified Score

Hi-index	0.00

Visualization

Abstract