Causal trees (1989)

by P Darondeau, P Degano
Venue:In: Ausiello G, Dezani-Ciancaglini M, Rocca SRD (eds) ICALP. LNCS, vol 372