Sfoglia per Autore
A Modal Logic for KLAIM
2000 R. De Nicola; M. Loreti
Translating Strong Mobility into Weak Mobility
2001 R. De Nicola; L. Bettini
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
2001 XIAO JUN CHEN; R. DE NICOLA
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
2002 R. De Nicola; L. Bettini
An equational axiomatization of bisimulation over regular expressions
2002 R. DE NICOLA; A. LABELLA; F. CORRADINI
Software Update via Mobile Agent Based Programming
2002 L. BETTINI; R. DE NICOLA; M. LORETI
Nondeterministic regular expressions as solutions of equational systems
2003 R. DE NICOLA; A. LABELLA
A MODAL LOGIC FOR MOBILE AGENTS
2004 M. LORETI; R. DE NICOLA
Types in concurrency - Editorial of the Special Issue.
2005 R. DE NICOLA; SANGIORGI D.
Semantic Subtyping for the pi-Calculus
2005 G. Castagna; R. De Nicola; D. Varacca
MoMo: A Modal Logic for Reasoning About Mobility
2005 Rocco De Nicola; Michele Loreti
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
Towards a Logic for Performance and Mobility.
2006 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. MASSINK
Implementing Mobile and Distributed Applications in X-Klaim
2006 L. BETTINI; R. DE NICOLA; M. LORETI
SCC: a Service Centered Calculus
2006 Michele Boreale; Roberto Bruni; Luis Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; Antonio Ravara; Davide Sangiorgi; Vasco Vasconcelos; Gianluigi Zavattaro
Basic Observables for Probabilistic May Testing
2007 M.C. Palmeri; R. De Nicola; M. Massink:
Implementing a Distributed Mobile Calculus Using the IMC Framework
2007 L. BETTINI; R. DE NICOLA; D. FALASSI; M. LORETI
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
2007 R. DE NICOLA; M. LORETI
Session Centered Calculi for Service Oriented Computing
2007 R. De Nicola
Model checking mobile stochastic logic
2007 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK
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