DYNAMIC CONGRUENCE vs. PROGRESSING BISIMULATION for CCS (1992)

Cached

Download Links

by Ugo Montanari , Vladimiro Sassone
Venue:Fundamenta Informaticae
Citations:33 - 12 self