Sciweavers

SAS
2001
Springer

A Behavioral Module System for the Pi-Calculus

14 years 4 months ago
A Behavioral Module System for the Pi-Calculus
Sriram K. Rajamani, Jakob Rehof
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SAS
Authors Sriram K. Rajamani, Jakob Rehof
Comments (0)