Sciweavers

JCS
2008
88views more  JCS 2008»
13 years 5 months ago
A secure compiler for session abstractions
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...