Algebraic Specification of Concurrency.

Egidio Astesiano, Gianna Reggio

Browse the full COMPASS paper archive.