Catuscia Palamidessi
No biography available.
Works (8)
Automata, Languages and Programming (vol. # 3580)
Computational Logic CL 2000 00
Horizons of the Mind. A Tribute to Prakash Panangaden
Formal Techniques for Distributed Objects, Components, and Systems
CONCUR 2000 - Concurrency Theory
Logic Programming
Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected Papers
Trustworthy Global Computing