Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 227
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
Basic Observables for Processes 1-gen-1997 M, Boreale; DE NICOLA, R.; Pugliese, R.
Locality Based Semantics for Process Algebras 1-gen-1997 DE NICOLA, R; F., Corradini
Tree Morphisms and Bisimulations 1-gen-1998 DE NICOLA, Rocco; Labella, A
Possible Worlds for Process Algebras 1-gen-1998 Veglioni, S; De Nicola, R
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.
Types as Specifications of Access Policies 1-gen-1999 DE NICOLA, R; R., Pugliese; G., Ferrari
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 finite axiomatization of nondeterministic regular expressions 1-gen-1999 DE NICOLA, R; F., Corradini; A., Labella
A Theory of May Testing for Asynchronous Languages 1-gen-1999 M, Boreale; DE NICOLA, R.; Pugliese, R.
Basic Observables for Processes 1-gen-1999 R., Pugliese; M., Boreale; DE NICOLA, R
Models of Nondeterministic Regular Expressions 1-gen-1999 F., Corradini; DE NICOLA, R; A., Labella
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 1-gen-1999 DE NICOLA, R
Programming Access Control: The Klaim Experience 1-gen-2000 DE NICOLA, R; Ferrari, G.; R., Pugliese
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 227
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