Recently modified Papers

 

Testing Semantics of Asynchronous Distributed Programs
Rocco De Nicola, Rosario Pugliese
Proc. of Analysis and Verification of Multiple--Agents Languages (LOMAPS'96). M. Dam (Eds.). pages 320-344. number 1192. Publisher: Springer. Series: LNCS. 1996.
Abstract   Bibtex   

 

Proving the correctness of optimising destructive and non-destructive reads over tuple spaces (Exten
Rocco De Nicola, Rosario Pugliese, Antony Rowstron
Proc. of the Fourth International Conference on Coordination Models and Languages (COORDINATION'00). A. Porto, G.-C. Roman (Eds.). pages 66-80. number 1906. Publisher: Springer. Series: LNCS. 2000.
Abstract   Bibtex   gz   gz   

 

 

Asynchronous Observations of Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98). M. Nivat (Eds.). pages 95-109. number 1378. Publisher: Springer. Series: LNCS. 1998.
Abstract   Bibtex   

 

Basic Observables for Processes - Extended Abstract
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Proc. of International Colloquium on Automata, Languages and Programming (ICALP'97). P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (Eds.). pages 482-492. number 1378. Publisher: Springer. Series: LNCS. 1997.
Abstract   Bibtex   

 

Basic Observables for Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Information & Computation. pages 77-98. volume 149. number 1. Publisher: Academic Press. 1998.
Abstract   Bibtex   

 

Divergence in Testing and Readiness Semantics
Rosario Pugliese, Rocco De Nicola, Michele Boreale
Theoretical Computer Science. pages 237-248. volume 266. number 1-2. Publisher: Elsevier. 2001. to appear.
Abstract   Bibtex   gz   

 

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   

 

 

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   

 

 

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   

 

 

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   

 

<< previous | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 next >>