Sfoglia per Rivista

opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autore(i) File
An observational model for spatial logics 1-gen-2006 Emilio, Tuosto; MENDES TORRES VIEIRA, H
Extensionality of spatial observations in distributed systems 1-gen-2007 Luís, Caires; MENDES TORRES VIEIRA, H
Fluid Performability Analysis of Nested Automata Models 1-gen-2015 Bortolussi, L; Hillston, J; Tribastone, M
Implementing a Distributed Mobile Calculus Using the IMC Framework 1-gen-2007 L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti
Jalapa: Securing Java with Local Policies 1-gen-2009 Bartoletti, M.; Costa, G.; Zunino, R.
MarCaSPiS: a Markovian Extension of a Calculus for Services 1-gen-2009 DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 1-gen-2007 DE NICOLA, R; M., Loreti
On the Expressive Power of Klaim-based Calculi 1-gen-2005 DE NICOLA, R.; Gorla, D.; R, Pugliese
Towards a Logic for Performance and Mobility 1-gen-2006 DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink
Tree Morphisms and Bisimulations 1-gen-1998 DE NICOLA, Rocco; Labella, A
XKlaim and Klava: Programming Mobile Code 1-gen-2001 Bettini, L.; DE NICOLA, R.; R, Pugliese
Mostrati risultati da 1 a 11 di 11
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