On the Algebraic Specification of Concurrency and Communication.

Jean-Pierre Finance M. S. Ouerghi On the Algebraic Specification of Concurrency and Communication. 281-288 1983 conf/icpp/1983 ICPP db/conf/icpp/icpp1983.html#FinanceO83