On the Algebraic Specification of Concurrency and Communication.

Jean-Pierre Finance, Mohamed Sad Ouerghi

Browse the full ICPP paper archive.