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