Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Lucia Acciai
Latest
A Concurrent Calculus with Atomic Transactions
A Typed Calculus for Querying Distributed XML Documents
A Concurrent Calculus with Atomic Transactions
A Typed Calculus for Querying Distributed XML Documents
Cite
×