The semantics of priority and fairness in OCCAM

Authors:
Geoff Barrett
Affiliations:
-
Venue:
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Year:
1990

Citing 0
Cited 2

A formal definition of priority in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
Prioritized slotted-circus

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract