Sfoglia per Autore
A Process Calculus with Asynchronous Communications
1995 R. PUGLIESE
An Observational Semantics for Linda
1995 De Nicola, Rocco; Pugliese, Rosario
Automatic Verification of a Hydroelectric Power Plant
1996 R. PUGLIESE; E. TRONCI
Testing Semantics of Asynchronous Distributed Programs
1996 De Nicola, Rocco; Pugliese, Rosario
A Process Algebra based on Linda
1996 De Nicola, Rocco; Pugliese, Rosario
Coordinating Mobile Agents via Blackboards and Access Rights
1997 R. DE NICOLA; G. FERRARI; R. PUGLIESE
Locality based Linda: programming with explicit localities
1997 R. DE NICOLA; G. FERRARI; R. PUGLIESE
Basic Observables for Processes
1997 M. BOREALE; R. DE NICOLA; R. PUGLIESE
Klaim: a Kernel Language for Agents Interaction and Mobility
1998 R. DE NICOLA; G.L.FERRARI; R. PUGLIESE
Interactive Mobile Agents in X-Klaim
1998 L. BETTINI; R. DE NICOLA; G.-L. FERRARI; R. PUGLIESE
Asynchronous Observations of Processes
1998 M. Boreale; R. De Nicola; R. Pugliese
A Symbolic Model Checker for ACTL
1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
Basic Observables for Processes
1999 M. BOREALE; R. DE NICOLA; R. PUGLIESE
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages
1999 Ingolfsdottir, Anna; Pugliese, Rosario
Proof Techniques for Cryptographic Processes
1999 M. Boreale; R. De Nicola; R. Pugliese
A Theory of ''May'' Testing for Asynchronous Languages
1999 M. Boreale; R. De Nicola; R. Pugliese
Types as Specifications of Access Policies
1999 R. De Nicola; R. Pugliese; G. Ferrari
Programming Access Control: The Klaim Experience
2000 DE NICOLA R.; FERRARI G.; R. PUGLIESE
Structured Nets in Klaim
2000 BETTINI L.; LORETI M.; R. PUGLIESE
Process Algebraic Analysis of Cryptographic Protocols
2000 BOREALE M.; DE NICOLA R.; R. PUGLIESE
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile