Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 202
Titolo Data di pubblicazione Autore(i) File
Coordinating Mobile Agents via Blackboards and Access Rights 1-gen-1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Locality based Linda: programming with explicit localities 1-gen-1997 DE NICOLA, R; G., Ferrari; R., Pugliese
Possible Worlds for Process Algebras 1-gen-1998 Veglioni, S; De Nicola, R
Tree Morphisms and Bisimulations 1-gen-1998 DE NICOLA, Rocco; Labella, A
Klaim: a Kernel Language for Agents Interaction and Mobility 1-gen-1998 DE NICOLA, R; G. L., Ferrari; R., Pugliese
Interactive Mobile Agents in X-Klaim 1-gen-1998 Bettini, L; De Nicola, R; Pugliese, R; Ferrari G., L
Asynchronous Observations of Processes 1-gen-1998 M, Boreale; DE NICOLA, R.; Pugliese, R.
Models of Nondeterministic Regular Expressions 1-gen-1999 F., Corradini; DE NICOLA, R; A., Labella
Basic Observables for Processes 1-gen-1999 R., Pugliese; M., Boreale; DE NICOLA, R
Proof Techniques for Cryptographic Processes 1-gen-1999 DE NICOLA, R; M., Boreale; R., Pugliese
Graded Modalities and Resource Bisimulation 1-gen-1999 DE NICOLA, R; A., Labella; F., Corradini
A Theory of May Testing for Asynchronous Languages 1-gen-1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 1-gen-1999 DE NICOLA, R
Types as Specifications of Access Policies 1-gen-1999 DE NICOLA, R; R., Pugliese; G., Ferrari
A finite axiomatization of nondeterministic regular expressions 1-gen-1999 DE NICOLA, R; F., Corradini; A., Labella
Methods and apparatus for tuple management in data processing system 1-gen-2000 Rowstron, A.; DE NICOLA, R
Process Algebraic Analysis of Cryptographic Protocols 1-gen-2000 Boreale, M; DE NICOLA, R.; R., Pugliese
Types for Access Control 1-gen-2000 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Linda based Applicative and Imperative Process Algebras 1-gen-2000 DE NICOLA, R; R., Pugliese
A modal logic for KLAIM 1-gen-2000 DE NICOLA, R; M., Loreti
Mostrati risultati da 41 a 60 di 202
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