Two normal form theorems for CSP programs

Authors:
K. R. Apt;L. Bougé;Ph. Clermont
Affiliations:
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands;LIENS, Paris, France;ETCA, Arcueil, France
Venue:
Information Processing Letters
Year:
1987

A compositional approach to superimposition

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fairness and hyperfairness in multi-party interactions

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design and verification of fault tolerant systems with CSP

Distributed Computing
Fairness and hyperfairness in multi-party interactions

Distributed Computing

Hi-index	0.89