Semantics of CSP via Translation into CCS

Authors:
Egidio Astesiano;Elena Zucca
Affiliations:
-;-
Venue:
Proceedings on Mathematical Foundations of Computer Science
Year:
1981

Citing 0
Cited 2

Modeling the distributed termination convention of CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
A CSS semantics for NIL

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract