Skip to content

P-congruences as non-interference for the pi-calculus.

Silvia Crafa, Sabina Rossi

VenueA*CCS
Year2006
ProceedingsFMSE

Browse the full CCS paper archive.