Return to Catalog
TITLE:  The Analysis of concurrent systems [electronic resource] : Cambridge, September12-16, 1983 : proceedings / edited by B.T. Denvir ... [etal.]