Communication Effects for Message-Based Concurrency (1989)

by P Jouvelot, D K Gifford