Coordinating Mobile Agents via Blackboards and Access Rights
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97). D. Garlan, D. Le Metayer (Eds.). pages 220-237. number 1282. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

Fully Abstract Models for Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
CONCUR. pages 130-144. 1995.
Bibtex   

Types for Access Control
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri
Theoretical Computer Science. pages 215-254. volume 240. number 1. Publisher: Elsevier Science. 2000.
Abstract   Bibtex   gz   

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 279-303. volume 120. number 2. 1995.
Bibtex   

Types as Specifications of Access Policies
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Secure Internet Programming: Security Issues for Distributed and Mobile Objects. J. Vitek, C. Jensen (Eds.). pages 117-146. number 1603. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   gz   

Three Logics for Branching Bisimulation
Rocco De Nicola, Frits W. Vaandrager
J. ACM. pages 458-487. volume 42. number 2. 1995.
Bibtex   

Programming Access Control: The Klaim Experience
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00). Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   

A Process Algebraic View of Input/Output Automata
Rocco De Nicola, Roberto Segala
Theor. Comput. Sci.. pages 391-423. volume 138. number 2. 1995.
Bibtex   

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). pages 157-166. Publisher: IEEE Computer Society Press. 1999.
Abstract   Bibtex   

A Symbolic Semantics for the pi-calculus (Extended Abstract)
Michele Boreale, Rocco De Nicola
CONCUR. pages 299-314. 1994.
Bibtex   

Process Algebraic Analysis of Cryptographic Protocols
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of of Formal Description Techniques (FORTE XIII) & Protocol Specification, Testing, and Verification (PSTV XX) (FORTE/PSTV'00). Publisher: Kluwer. 2000. to appear.
Abstract   Bibtex   gz   

A Completeness Theorem for Nondeterministic Kleene Algebras
Rocco De Nicola, Anna Labella
MFCS. pages 536-545. 1994.
Bibtex   

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pages 67-81. number 2303. Publisher: Springer. Series: LNCS. 2002.
Bibtex   pdf   

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
Computer Networks and ISDN Systems. pages 761-778. volume 25. number 7. 1993.
Bibtex   

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi
Proc. of CONCUR '02. Publisher: Springer. 2002.
Bibtex   gz   

Universal Axioms for Bisimulations
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Theor. Comput. Sci.. pages 63-91. volume 114. number 1. 1993.
Bibtex   

Automatic Verification of a Hydroelectric Power Plant
Rosario Pugliese, Enrico Tronci
Proc. of the Int. Symposium on Industrial Benefit and Advances in Formal Methods (FME'96). M.-C. Gaudel, J. Woodcock (Eds.). pages 425-444. number 1051. Publisher: Springer. Series: LNCS. 1996.
Abstract   Bibtex   

A Symbolic Model Checker for ACTL
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
Proc. of International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98). D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Eds.). pages 228-242. number 1641. Publisher: Springer. Series: LNCS. 1999.
Abstract   Bibtex   

Observation Trees
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
NAPAW. pages 103-118. 1992.
Bibtex   

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Extended Abstract)
Anna Ingolfsdottir, Rosario Pugliese
Proc. of EXPRESS'99. volume 27. Publisher: Elsevier Science. Series: ENTCS. 1999. http://www.elsevier.nl/locate/entcs/.
Abstract   Bibtex