Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 128
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 128
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