Search results for: Giuseppe Castagna
Lecture Notes in Computer Science > Concurrency and Parallelism, Programming, Networking, and Security > 129-141
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 33-53
Lecture Notes in Computer Science > Database and XML Technologies > Invited Talk (Shared with DBPL) > 1-3
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 85-96
Lecture Notes in Computer Science > Theoretical Computer Science > Technical Contributions > 160-172
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 52-71