A hybrid type system for lock-freedom of mobile processes

• Autores: Naoki Kobayashi, Davide Sangiorgi
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 32, Nº 5, 2010, pág. 16
• Idioma: inglés
• Texto completo no disponible (Saber más ...)