A modal logic for message passing processes /
Hennessy, Matthew.
Liu, X.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1993.
Caption title.