DYNAMIC CONGRUENCE vs. PROGRESSING BISIMULATION for CCS (1992)

Cached

Download Links

by Ugo Montanari , Vladimiro Sassone
Venue:Fundamenta Informaticae
Citations:44 - 15 self