On Relating Some Models for Concurrency (1993)

by P Degano, R Gorrieri, S Vigna
Venue:4 th Conference on Theory and Practice of Software Development, volume 668 of LNCS