Sciweavers

Share
POPL
2001
ACM

Stratified operational semantics for safety and correctness of the region calculus

10 years 9 months ago
Stratified operational semantics for safety and correctness of the region calculus
Cristiano Calcagno
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2001
Where POPL
Authors Cristiano Calcagno
Comments (0)
books