Roberto Gorrieri profile picture

Roberto Gorrieri

Is this your author profile? Create an account to customize it!

Stand Alone

Formal methods for open object-based distributed systems
Foundations of security analysis and design II
Foundations of security analysis and design
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy