Ph. Clauss;G. R. Perrin
-;-
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design