Sfoglia per Autore
Structured Nets in Klaim
2000 BETTINI L.; LORETI M.; R. PUGLIESE
A Modal Logic for KLAIM
2000 R. De Nicola; M. Loreti
Hyperformulae, Paralle Deductions and Intersection Types
2001 CAPITANI B.; M. LORETI; VENNERI B.
Modelling Node Connectivity in Dynamically Evolving Networks
2001 L. BETTINI; M. LORETI; R. PUGLIESE
An Infrastructure Language for Open Nets
2002 L. BETTINI; M. LORETI; R. PUGLIESE
Formalizing properties of mobile agent systems
2002 Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
Software Update via Mobile Agent Based Programming
2002 L. BETTINI; R. DE NICOLA; M. LORETI
AGILE: Software Architecture for Mobility
2002 ANDRADE L.; BALDAN P.; BAUMEISTER H.; BRUNI R.; CORRADINI A.; DE NICOLA R.; FIADERO J.; GADDUCCI F.; GNESI S.; HOFFMAN P.; KOCH N.; KOSIUCZENKO P.; LAPADULA A.; LATELLA D.; LOPES A.; LORETI M.; MASSINK M.; MAZZANTI F.; MONTANARI M.; OLIVEIRA C.; R. PUGLIESE; TARLECKI A.; WERMELINGER M.; WIRSING M.
The Klaim Project: Theory and Practice
2003 Bettini, Lorenzo; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, Michele; Moggi, E.; Pugliese, Rosario; Tuosto, E.; Venneri, Battistina
On Multiple Inheritance in Java.
2003 L. BETTINI; M. LORETI; B. VENNERI
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming
2004 L. BETTINI; R. DE NICOLA; M. LORETI
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
2004 LORENZO BETTINI; PILU CRESCENZI; GAIA INNOCENTI; M. LORETI; LEONARDO CECCHI
A MODAL LOGIC FOR MOBILE AGENTS
2004 M. LORETI; R. DE NICOLA
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
MoMo: A Modal Logic for Reasoning About Mobility
2005 Rocco De Nicola; Michele Loreti
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
Assessing CS1 Java Skills: A Three-Year Experience
2006 P. CRESCENZI; M. LORETI; R. PUGLIESE
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
2007 R. DE NICOLA; M. LORETI
Model checking mobile stochastic logic
2007 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Structured Nets in Klaim | 2000 | BETTINI L.; LORETI M.; R. PUGLIESE | |
A Modal Logic for KLAIM | 2000 | R. De Nicola; M. Loreti | |
Hyperformulae, Paralle Deductions and Intersection Types | 2001 | CAPITANI B.; M. LORETI; VENNERI B. | |
Modelling Node Connectivity in Dynamically Evolving Networks | 2001 | L. BETTINI; M. LORETI; R. PUGLIESE | |
An Infrastructure Language for Open Nets | 2002 | L. BETTINI; M. LORETI; R. PUGLIESE | |
Formalizing properties of mobile agent systems | 2002 | Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele | |
Software Update via Mobile Agent Based Programming | 2002 | L. BETTINI; R. DE NICOLA; M. LORETI | |
AGILE: Software Architecture for Mobility | 2002 | ANDRADE L.; BALDAN P.; BAUMEISTER H.; BRUNI R.; CORRADINI A.; DE NICOLA R.; FIADERO J.; GADDUCCI F.; GNESI S.; HOFFMAN P.; KOCH N.; KOSIUCZENKO P.; LAPADULA A.; LATELLA D.; LOPES A.; LORETI M.; MASSINK M.; MAZZANTI F.; MONTANARI M.; OLIVEIRA C.; R. PUGLIESE; TARLECKI A.; WERMELINGER M.; WIRSING M. | |
The Klaim Project: Theory and Practice | 2003 | Bettini, Lorenzo; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, Michele; Moggi, E.; Pugliese, Rosario; Tuosto, E.; Venneri, Battistina | |
On Multiple Inheritance in Java. | 2003 | L. BETTINI; M. LORETI; B. VENNERI | |
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming | 2004 | L. BETTINI; R. DE NICOLA; M. LORETI | |
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses | 2004 | LORENZO BETTINI; PILU CRESCENZI; GAIA INNOCENTI; M. LORETI; LEONARDO CECCHI | |
A MODAL LOGIC FOR MOBILE AGENTS | 2004 | M. LORETI; R. DE NICOLA | |
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing | 2005 | Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti | |
MoMo: A Modal Logic for Reasoning About Mobility | 2005 | Rocco De Nicola; Michele Loreti | |
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 | |
Assessing CS1 Java Skills: A Three-Year Experience | 2006 | P. CRESCENZI; M. LORETI; R. PUGLIESE | |
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi | 2007 | R. DE NICOLA; M. LORETI | |
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