Michele Boreale
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Service-Oriented Architecture and Web Services, Distributed systems and fault tolerance
Most-Cited Works
- → SCC: A Service Centered Calculus(2006)146 cited
- → Symbolic Trace Analysis of Cryptographic Protocols(2001)132 cited
- → Sessions and Pipelines for Structured Service Programming(2008)116 cited
- → On the expressiveness of internal mobility in name-passing calculi(1998)91 cited
- → Testing Equivalence for Mobile Processes(1995)90 cited
- → Proof Techniques for Cryptographic Processes(2001)87 cited
- → A fully abstract semantics for causality in the $\pi$ -calculus(1998)65 cited
- → Trace and Testing Equivalence on Asynchronous Processes(2002)61 cited
- → A Symbolic Semantics for theπ-Calculus(1996)59 cited