Registros relacionados: CONCUR 2000 - Concurrency Theory :