Group by
Show grouping index
Show only this author's papers
Show only papers in this classification
Show by ascending year
               

rss feed

Delegation by object composition
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Science of Computer Programming. vol. In Press. 2010. abstract bibtex

Simulation and analysis of distributed systems in Klaim
Francesco Calzolai, Michele Loreti.
Proc. of COORDINATION 2010. Lecture Notes in Computer Science. Springer. 2010. To appear. bibtex

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti.
Proc. of TGC 2010. 2010. To appear. bibtex

Implementing software product lines using traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer.
Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010). Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Cheng Hung (Eds.). pp. 2096-2102. ACM. 2010. abstract bibtex

Property-preserving refinement of concurrent systems
Liliana D'Errico, Michele Loreti.
Proc. of TGC 2010. Lecture Notes in Computer Science. Springer. 2010. To appear.. bibtex

Quantitative Analysis of Services
Clark Alan, Igor Cappello, Diego Latella, Michele Loreti, Quaglia Paola, Stefano Schivo.
Sensoria Book. Lecture Notes in Computer Science. Springer. 2010. To appear.. bibtex

SoSL: Service Oriented Stochasti Logic
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
Sensoria Book. Lecture Notes in Computer Science. Springer. 2010. To appear.. bibtex

A safe implementation of dynamic overloading in Java-like languages
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) . pp. 455-462. LNCS vol. 5961. Springer. 2009. abstract fdj_fsj.pdf bibtex

A process Algebra Approach to Fuzzy Reasoning
Liliana D'Errico, Michele Loreti.
IFSA/EUSFLAT Conf.. Jo\ ao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Jo\ ao Miguel da Costa Sousa (Eds.). pp. 1136-1141. 2009. bibtex

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
FMICS. Mar\'\ia Alpuente, Byron Cook, Christophe Joubert (Eds.). pp. 9-25. Lecture Notes in Computer Science vol. 5825. Springer. 2009. bibtex

Provably Correct Implementations of Services
Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni.
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pp. 69-86. Lecture Notes in Computer Science vol. 5474. Springer. 2009. bibtex

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro.
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pp. 52-68. Lecture Notes in Computer Science vol. 5474. Springer. 2009. bibtex

A Mechanisms for Flexible Dynamic Trait Replacement
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani.
FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. pp. 1-7. ACM Digital Library. 2009. abstract dynamic_traits_FTFJP.pdf bibtex

Reverse Generics - Parametrization after the Fact
Alexandre Bergel, Lorenzo Bettini.
ICSOFT (1). Boris Shishkov, Jos\'e Cordeiro, Alpesh Ranchordas (Eds.). pp. 39-46. INSTICC Press. 2009. abstract reverse_generics_ICSOFT.pdf bibtex

Rate-Based Transition Systems for Stochastic Process Calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.). pp. 435-446. Lecture Notes in Computer Science vol. 5556. Springer. 2009. FullRTS.pdf bibtex

MarCaSPiS: a Markovian Extension of a Calculus for Services
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
Electronic Notes in Theoretical Computer Science. M. Hennessy and B. Klin (Eds.). pp. 11-26. vol. 229 no. 4. Elsevier. 2009. bibtex

I-Java: an extension of Java with incomplete objects and object composition
Lorenzo Bettini, Viviana Bono, Erica Turin.
Proceedings of Software Composition. Alexandre Bergel, Johan Fabry (Eds.). pp. 27-44. LNCS vol. 5634. Springer. 2009. abstract i-java.pdf bibtex

Featherweight Java with Dynamic and Static Overloading
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Science of Computer Programming. pp. 261-278. vol. 74 no. 5-6. Elsevier. 2009. abstract multifj-journal.pdf j.scico.2009.01.007 bibtex

Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
RAIRO - Theoretical Informatics and Applications. pp. 517-565. no. 43. 2009. abstract docs.pdf ita08037.html bibtex

Assume-Guarantee Verification of Concurrent Systems
Liliana D'Errico, Michele Loreti.
COORDINATION. John Field, Vasco Thudichum Vasconcelos (Eds.). pp. 288-305. Lecture Notes in Computer Science vol. 5521. Springer. 2009. FullAG.pdf bibtex

Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida.
Proc. of Concur. pp. 418-433. LNCS vol. 5201. Springer. 2008. abstract global_progress.pdf bibtex

Timed Buffers: A Technique For Update Propagation In Nomadic Environments
Lorenzo Bettini.
Computer Communications. pp. 3209-3222. no. 31. Elsevier. 2008. abstract j.comcom.2008.05.001 timedbuffers.pdf bibtex

Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Coordination Models and Languages (COORDINATION2008). Doug Lea, Gianluigi Zavattaro (Eds.). pp. 17-32. Lecture Notes in Computer Science vol. 5052. Springer. 2008. abstract jcaspis.pdf bibtex

Design of a Password-Based EAP Method
Andrea Manganaro, Mingyur Koblensky, Michele Loreti.
E-business and Telecommunications 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers . Joaquim Filipe and Mohammad S. Obaidat (Eds.). pp. 343-355. Communications in Computer and Information Science vol. 23. Springer. 2008. abstract ?p=c9c02e4b4fa84d0bac214113eb93a17e&pi=25 bibtex

TAPAs: A Tool for the Analysis of Process Algebras
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi.
Transactions on Petri Nets and Other Models of Concurrency I. pp. 54-70. Lecture Notes in Computer Science vol. 5100. Springer. 2008. bibtex

A trait based re-engineering technique for Java hierarchies
Lorenzo Bettini, Viviana Bono, Marco Naddeo.
Proc. of PPPJ, Principles and Practice of Programming in Java. pp. 149--158. ACM Press. 2008. abstract FCA_PPPJ.pdf bibtex

Type Safe Dynamic Object Delegation in Class-based Languages
Lorenzo Bettini, Viviana Bono.
Proc. of PPPJ, Principles and Practice of Programming in Java. pp. 171--180. ACM Press. 2008. abstract incfj_PPPJ.pdf bibtex

Modelling global computations with Klaim
Rocco De Nicola, Michele Loreti.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. Marta Kwiatkowska Tom Rodden Vladimiro Sassone (Eds.). pp. 3737-3745. vol. 366 no. 1881. Royal Society. 2008. bibtex

A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti.
TAMODIA/HCSE. Peter Forbrig, Fabio Patern\`o (Eds.). pp. 166-180. Lecture Notes in Computer Science vol. 5247. Springer. 2008. bibtex

Object Incompleteness and Dynamic Composition in Java-Like Languages
Lorenzo Bettini, Viviana Bono, Betti Venneri.
TOOLS (46). Richard F. Paige and Bertrand Meyer (Eds.). pp. 198-217. LNBIP vol. 11. Springer. 2008. abstract incfj.pdf bibtex

Service Discovery and Negotiation With COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Electr. Notes Theor. Comput. Sci.. pp. 133-154. vol. 200 no. 3. 2008. bibtex

A Model Checking Approach for Verifying COWS Specifications
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi.
FASE. Jos\'e Luiz Fiadeiro, Paola Inverardi (Eds.). pp. 230-245. Lecture Notes in Computer Science vol. 4961. Springer. 2008. bibtex

Specifying and Analysing SOC Applications with COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, Jos\'e Meseguer (Eds.). pp. 701-720. Lecture Notes in Computer Science vol. 5065. Springer. 2008. bibtex

A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
COORDINATION. Doug Lea, Gianluigi Zavattaro (Eds.). pp. 199-215. Lecture Notes in Computer Science vol. 5052. Springer. 2008. bibtex

Semantic subtyping for the pi-calculus
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca.
Theor. Comput. Sci.. pp. 217-242. vol. 398 no. 1-3. 2008. bibtex

Multiple-Labelled Transition Systems for nominal calculi and their logics
Rocco De Nicola, Michele Loreti.
Mathematical Structures in Computer Science. pp. 107-143. vol. 18 no. 1. 2008. bibtex

Ugo Montanari in a Nutshell
Rocco De Nicola, Pierpaolo Degano, José Meseguer.
Concurrency, Graphs and Models. pp. 1-8. 2008. bibtex

Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, Jos\'e Meseguer (Eds.). Lecture Notes in Computer Science vol. 5065. Springer. 2008. bibtex

Session and Union Types for Object Oriented Programming
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri.
Concurrency, Graphs and Models. pp. 659-680. LNCS vol. 5065. Springer. 2008. abstract bcdgv.pdf bibtex

From Flow Logic to Static Type Systems for Coordination Languages
Rocco De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese.
International conference on Coordination Models and Languages (COORDINATION'08). pp. 100-116. Lecture Notes in Computer Science vol. 5052. Springer. 2008. COORD08klaim.pdf bibtex

Sessions and Pipelines for Structured Service Programming
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
Formal Methods for Open Object-Based Distributed Systems (FMOODS2008). Gilles Barthe, Frank S. de Boer (Eds.). pp. 19-38. Lecture Notes in Computer Science vol. 5051. Springer. 2008. caspis.pdf bibtex

Featherweight Wrap Java: wrapping objects and methods
Lorenzo Bettini, Sara Capecchi, Elena Giachino.
Journal of Object Technology. pp. 5-29. vol. 7 no. 2. 2008. Special Issue OOPS Track at SAC 2007. abstract article1.pdf bibtex

A Typed Lambda Calculus with Intersection Types
Viviana Bono, Betti Venneri, Lorenzo Bettini.
Theoretical Computer Science. pp. 95-113. vol. 398 no. 1-3. Elsevier. 2008. abstract intersection.pdf bibtex

Design of a Password-based Authentication Method for Wireless Networks
Andrea Manganaro, Mingyur Koblensky, Michele Loreti.
WINSYS. Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha (Eds.). pp. 9-16. INSTICC Press. 2007. bibtex

A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
ESOP. Rocco De Nicola (Eds.). pp. 33-47. Lecture Notes in Computer Science vol. 4421. Springer. 2007. bibtex

C-clock-WS: A Timed Service-Oriented Calculus
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
ICTAC. Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.). pp. 275-290. Lecture Notes in Computer Science vol. 4711. Springer. 2007. bibtex

Regulating Data Exchange in Service Oriented Applications
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
FSEN. Farhad Arbab, Marjan Sirjani (Eds.). pp. 223-239. Lecture Notes in Computer Science vol. 4767. Springer. 2007. bibtex

Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings
ESOP. Rocco De Nicola (Eds.). Lecture Notes in Computer Science vol. 4421. Springer. 2007. bibtex

Modeling Fuzzy Behaviours in Concurrent Systems
Liliana D'Errico, Michele Loreti.
ICTCS. pp. 94-105. 2007. bibtex

Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
Theor. Comput. Sci.. pp. 42-70. vol. 382 no. 1. 2007. j.tcs.2007.05.008 bibtex

Basic observables for a calculus for global computing
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Inf. Comput.. pp. 1491-1525. vol. 205 no. 10. 2007. IC07TKlaimBasicObs.pdf bibtex

Global computing in a dynamic network of tuple spaces
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Sci. Comput. Program.. pp. 187-204. vol. 64 no. 2. 2007. SCP07TKlaim.pdf bibtex

Basic Observables for Probabilistic May Testing
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink.
Fourth International Conference on the Quantitative Evaluation of Systems. pp. 189-198. IEEE. 2007. abstract QEST2007IEEEDownload.pdf bibtex

Session Centered Calculi for Service Oriented Computing (Invited Talk)
Rocco De Nicola.
Proc. 10th Italian Conference on Theoretical Computer Science. G.F. Italiano, E. Moggi, L. Laura (Eds.). pp. 6-10. World Scientific. 2007. abstract DeNicola-ICTCS.pdf bibtex

A Service Oriented Process Calculus with Sessioning and Pipelining
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
2007. Draft. bibtex

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Rocco De Nicola, Michele Loreti.
pp. 133-146. Electronic Notes in Theoretical Computer Science vol. 169. 2007. abstract MLTS.pdf bibtex

SENSORIA Process Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro.
Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy. Don Sanella, Ugo Montanari (Eds.). 2007. to appear. abstract TGCSensoria.pdf bibtex

Featherweight Java with Multi-Methods
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Proc. of PPPJ, Principles and Practice of Programming in Java. pp. 83-92. vol. 272. ACM Press. 2007. abstract multifj.pdf bibtex

Featherweight Wrap Java
Lorenzo Bettini, Sara Capecchi, Elena Giachino.
Proc. of SAC (The 22nd Annual ACM Symposium on Applied Computing), Special Track on Object-Oriented Programming Languages and Systems (OOPS). pp. 1094-1100. ACM Press. 2007. abstract wrapjava.pdf bibtex

Implementing a distributed mobile calculus using the IMC framework
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti.
Proc. of MTCOORD (2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems). pp. 63-79. ENTCS vol. 181. Elsevier. 2007. abstract jdpi.pdf bibtex

SensoriaProcess Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro.
TGC. Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.). pp. 30-50. Lecture Notes in Computer Science vol. 4661. Springer. 2006. bibtex

A WSDL-Based Type System for WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
COORDINATION. Paolo Ciancarini, Herbert Wiklicky (Eds.). pp. 145-163. Lecture Notes in Computer Science vol. 4038. Springer. 2006. bibtex

Towards a Logic for Performance and Mobility
Rocco De Nicola, Pieter Katoen, Diego Latella, Mieke Massink.
Electr. Notes Theor. Comput. Sci.. pp. 161-175. vol. 153 no. 2. 2006. bibtex

On the expressive power of KLAIM-based calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Theor. Comput. Sci.. pp. 387-421. vol. 356 no. 3. 2006. bibtex

From Process Calculi to Klaim and Back
Rocco De Nicola.
Electr. Notes Theor. Comput. Sci.. pp. 159-162. vol. 162. 2006. bibtex

Assessing CS1 java skills: a three-year experience
Pilu Crescenzi, Michele Loreti, Rosario Pugliese.
ITiCSE. pp. 348. 2006. bibtex

MoSL: A Stochastic Logic for StoKlaim
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
no. ISTI-06-35. 2006. MoSL.pdf bibtex

Klaim and its Stochastic Semantics
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
2006. Available at \texttthttp://rap.dsi.unifi.it/\textasciitildeloreti/papers/TR062006.pdf. bibtex

STOKLAIM: A Stochastic Extension of KLAIM
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink.
no. 2006-TR-01. 2006. StoKlaim.pdf bibtex

SCC: a Service Centered Calculus
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.
Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods. M. Bravetti, G. Zavattaro (Eds.). pp. 38--57. Lecture Notes in Computer Science vol. 4184. Springer Verlag. 2006. abstract wsfm2006b.pdf.gz bibtex

Confining Data and Processes in Global Computing Applications
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Science of Computer Programming. pp. 57-87. vol. 63 no. 1. Elsevier Science. 2006. abstract DGP-Confinement.pdf bibtex

Implementing Mobile and Distributed Applications in X-Klaim
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Scalable Computing: Practice and Experience, Special Issue: Software Agent Mobility. Henry Hexmoor, Marcin Paprzycki, Niranjan Suri (Eds.). pp. 13-35. vol. 7 no. 4. 2006. abstract SCPE_7_4_02.pdf bibtex

Double Dispatch in C++
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Software - Practice and Experience. pp. 581 - 613. vol. 36 no. 6. 2006. abstract spelxb.ps.gz bibtex

A Mobility Calculus with Local and Dependent Types
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese.
Processes, Terms and Cycles. Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.). pp. 404-444. Lecture Notes in Computer Science vol. 3838. Springer. 2005. bibtex

On the Expressive Power of Klaim-based Calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Electr. Notes Theor. Comput. Sci.. pp. 117-130. vol. 128 no. 2. 2005. bibtex

Semantic Subtyping for the p-Calculus
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca.
LICS. pp. 92-101. 2005. bibtex

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers
TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). Lecture Notes in Computer Science vol. 3705. Springer. 2005. bibtex

Types in concurrency
Rocco De Nicola, Davide Sangiorgi.
Acta Inf.. pp. 79-81. vol. 42 no. 2-3. 2005. bibtex

Formal modeling and quantitative analysis of KLAIM-based mobile systems
Rocco De Nicola, Diego Latella, Mieke Massink.
SAC. pp. 428-435. 2005. bibtex

Languages and Process Calculi for Network Aware Programming - Short Summary -
Rocco De Nicola.
ICTAC. pp. 49-52. 2005. bibtex

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti.
Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS). pp. 181--193. LNCS vol. 3543. Springer. 2005. abstract imc-dais.pdf bibtex

Basic Observables for a Calculus for Global Computing.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola.
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Luìs Caires, Giuseppe F. Italiano, Luìs Monteiro, Catuscia Palamidessi, Moti Yung (Eds.). pp. 1226-1238. Lecture Notes in Computer Science vol. 3580,,. Springer. 2005. bibtex

Pattern Matching over a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola.
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Pro. Martin Steffen, Gianluigi Zavattaro (Eds.). pp. 1-14. Lecture Notes in Computer Science vol. 3535,year. Springer. 2005. bibtex

A Process Calculus for QoS-Aware Applications.
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto.
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pp. 33-48. Lecture Notes in Computer Science vol. 3454. Springer. 2005. bibtex

Global Computing in a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola.
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pp. 157-172. Lecture Notes in Computer Science vol. 3454. Springer. 2005. bibtex

A method for symbolic analysis of security protocols.
Maria Grazia Buscemi, Michele Boreale.
Theor. Comput. Sci.. pp. 393-425. vol. 338 no. 1-3. 2005. bibtex

Safe and Flexible Objects with Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Journal of Object Technology, Special Issue: OOPS Track at SAC 2005. pp. 5-29. vol. 4 no. 10. 2005. abstract article1 bibtex

Safe Object Composition in the Presence of Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Proc. of ICTCS 2005. M. Coppo, E. Lodi, G.M. Pinna (Eds.). pp. 128-142. LNCS vol. 3701. Springer. 2005. abstract incomplobj.pdf bibtex

Safe and Flexible Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Proc. of SAC 2005, Special Track on Object-Oriented Programming Languages and Systems (OOPS). pp. 1268-1273. ACM Press. 2005. abstract incomplobj-OOPS.pdf bibtex

Mobile Distributed Programming in X-Klaim
Lorenzo Bettini, Rocco De Nicola.
Formal Methods for Mobile Computing, Advanced Lectures. M. Bernardo and A. Bogliolo (Eds.). pp. 29-68. LNCS vol. 3465. Springer. 2005. abstract xklaim.ps.gz bibtex

Translating Double-Dispatch into Single-Dispatch
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004). pp. 59-78. ENTCS vol. 138 no. 2. Elsevier. 2005. abstract doubledisp.pdf bibtex

MoMi: A Calculus for Mobile Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Acta Informatica. pp. 143 - 190. vol. 42 no. 2-3. Springer. 2005. abstract momiwidth.ps s00236-005-0176-0 bibtex

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, Vasco T. Vasconcelos.
Global Computing. IST/FET International Workshop, GC 2004, Revised Papers. C. Priami (Eds.). pp. 179-207. LNCS vol. 3267. Springer. 2004. abstract imc-global.ps.gz bibtex

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini.
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pp. 3-16. ENTCS vol. 128 no. 5. Elsevier. 2004. abstract cryptoagents.pdf bibtex

A Core Calculus of Higher-Order Mixins and Classes (Poster Abstract)
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Proc. of ACM Symposium on Applied Computing (SAC 2004). pp. 1508-1509. ACM Press. 2004. bibtex

A Core Calculus of Higher-Order Mixins and Classes
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Types for Proofs and Programs: 3rd Int. Workshop, TYPES 2003. pp. 83-98. LNCS vol. 3085. Springer. 2004. abstract mixin-high.ps bibtex

MetaKlaim: a type safe multi-stage language for global computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese.
Mathematical Structures in Computer Science. pp. 367-395. vol. 14 no. 3. 2004. bibtex

Controlling data movement in global computing applications
Daniele Gorla, Rosario Pugliese.
SAC. Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock (Eds.). pp. 1462-1467. ACM. 2004. bibtex

Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese.
IFIP TCS. Jacques L\'evy, Ernst W. Mayr, John C. Mitchell (Eds.). pp. 577-590. Kluwer. 2004. bibtex

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). Lecture Notes in Computer Science vol. 2949. Springer. 2004. bibtex

MoMo: A Modal Logic for Reasoning About Mobility
Rocco De Nicola, Michele Loreti.
FMCO. pp. 95-119. 2004. bibtex

A core calculus of mixins and incomplete objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
OOPSLA Companion. pp. 208-209. 2004. bibtex

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses
Lorenzo Bettini, Leonardo Cecchi, Pilu Crescenzi, Gaia Innocenti, Michele Loreti.
Proc. of IEEE International Conference on Advanced Learning Technologies. pp. 161-165. IEEE. 2004. abstract ICALT2004BCCIL.pdf bibtex

A Java Package for Transparent Code Mobility
Lorenzo Bettini.
FIDJI 2004, Int. Workshop on scientific engineering of distributed Java applications. N.Guelfi and G.Reggio and A.Romanovsky (Eds.). pp. 112-122. LNCS vol. 3409. Springer. 2004. abstract mobpack.ps bibtex

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pp. 245-288. vol. 11 no. 3. 2004. abstract ase-fmp.ps.gz bibtex

Subtyping-Inheritance Conflicts: The Mobile Mixin Case
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Proc. of Third IFIP International Conference on Theoretical Computer Science (TCS 2004). J-J. Levy, E.W. Mayr, J.C. Mitchell (Eds.). pp. 451--464. Kluwer Academic Publishers. 2004. abstract momitype.pdf bibtex

O'Klaim: a coordination language with mobile mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Proc. of Coordination. pp. 20-37. LNCS vol. 2949. Springer. 2004. abstract oklaim.pdf bibtex

A Core Calculus of Mixin-Based Incomplete Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
FOOL 11. 2004. abstract incomplobj.pdf bibtex

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations
Lorenzo Bettini.
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica. Dipartimento di Matematica, Università di Siena. 2003. abstract phdthesis-lore.ps.gz bibtex

Enforcing Security Policies via Types
Daniele Gorla, Rosario Pugliese.
SPC. Dieter Hutter, G\"unter M\"uller, Werner Stephan, Markus Ullmann (Eds.). pp. 86-100. Lecture Notes in Computer Science vol. 2802. Springer. 2003. bibtex

Resource Access and Mobility Control with Dynamic Privileges Acquisition
Daniele Gorla, Rosario Pugliese.
ICALP. Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger (Eds.). pp. 119-132. Lecture Notes in Computer Science vol. 2719. Springer. 2003. bibtex

Nondeterministic regular expressions as solutions of equational systems
Rocco De Nicola, Anna Labella.
Theor. Comput. Sci.. pp. 179-189. vol. 302 no. 1-3. 2003. bibtex

A Formal Basis for Reasoning on Programmable QoS
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto.
Verification: Theory and Practice. pp. 436-479. 2003. bibtex

The Klaim Project: Theory and Practice
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, GianLuigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri.
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Revised Papers. C. Priami (Eds.). pp. 88-150. LNCS vol. 2874. Springer. 2003. abstract klaimproject.ps.gz bibtex

Estendere linguaggi orientati agli oggetti con il Double Dispatch (Extending object-oriented languages with Double Dispatch)
Tommaso Paba.
Master Thesis (in Italian), Università di Firenze. 2003. abstract tesi_double_dispatch.ps.gz bibtex

Realizzazione di un'estensione di Java verso l'evoluzione dinamica degli oggetti (Implementing an extension of Java towards dynamic evolution of objects)
Marco Naldini.
Master Thesis (in Italian), Università di Firenze. 2003. abstract tesi_naldini.ps.gz bibtex

Open nets, contexts and their properties
Rocco De Nicola, Michele Loreti.
2003. submitted. abstract ocp.pdf bibtex

A Java package for class and mixin mobility in a distributed setting
Lorenzo Bettini.
Proc. of FIDJI'03. N.Guelfi and E.Astesiano and G.Reggio (Eds.). pp. 12-22. LNCS vol. 2952. Springer. 2003. abstract javamomi.ps.gz bibtex

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
Lorenzo Bettini, Rocco De Nicola.
Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. N. Guelfi, E. Astesiano, G. Reggio (Eds.). pp. 175-184. LNCS no. 2604. Springer. 2003. abstract cryptoklava.ps.gz bibtex

Extending Java to dynamic object behaviors
Lorenzo Bettini, Sara Capecchi, Betti Venneri.
Proc of WOOD 2003. ENTCS no. 82. 2003. To appear. abstract decjava.pdf bibtex

On Multiple Inheritance in Java
Lorenzo Bettini, Michele Loreti, Betti Venneri.
Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002. Theo D'Hondt (Eds.). pp. 1-15. Kluwer Academic Publishers. 2003. abstract multipinh.ps.gz bibtex

Subtyping Mobile Classes and Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Proc. of FOOL 2003. 2003. abstract momitype-fool.ps.gz bibtex

AGILE: Software Architecture for Mobility
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóv\ ao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki.
WADT. Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.). pp. 1-33. Lecture Notes in Computer Science vol. 2755. Springer. 2002. bibtex

Guardians for Ambient-based Monitoring
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese.
Electr. Notes Theor. Comput. Sci.. vol. 66 no. 3. 2002. bibtex

Trace and Testing Equivalence on Asynchronous Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Inf. Comput.. pp. 139-164. vol. 172 no. 2. 2002. bibtex

An Equational Axiomatization of Bisimulation over Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella.
J. Log. Comput.. pp. 301-320. vol. 12 no. 2. 2002. bibtex

Una infrastruttura per l'interoperabilità e lo scambio di oggetti in rete (An infrastructure for object interoperability and exchange in the net)
Daniele Falassi.
Master Thesis (in Italian), Università di Firenze. 2002. abstract thesis-falassi.ps.gz thesis-falassi.pdf bibtex

Programmazione di Agenti Mobili in C# (Programming Mobile Agents in C#)
Alessandro Lapadula.
Master Thesis (in Italian), Università di Firenze. 2002. abstract thesis-lapa.ps.gz bibtex

Il pattern Decorator per l'estensione dei linguaggi orientati agli oggetti (The Decorator pattern for the extension of object-oriented languages)
Sara Capecchi.
Master Thesis (in Italian), Università di Firenze. 2002. tesi-decorator.ps.gz bibtex

Languages and Logics for Network Aware Programming
Michele Loreti.
Tesi di Dottorato, Ciclo XIII, Dottorato in Logica e Informatica Teorica. Dipartimento di Matematica, Università di Siena. 2002. abstract phdthesis-miche.ps.gz bibtex

A Modal Logic for Mobile Agents
Rocco De Nicola, Michele Loreti.
ACM Transactions on Computational Logic. ACM. 2002. to appear. abstract fullMLMA.ps.gz bibtex

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi.
Proc. of CONCUR '02. Springer. 2002. FrameConcur02.ps.gz bibtex

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla.
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pp. 67-81. LNCS no. 2303. Springer. 2002. spi-FoSSaCS02.pdf bibtex

Foundational Calculi for Network Aware Programming
GianLuigi Ferrari, Rosario Pugliese, Emilio Tuosto.
2002. Draft. abstract DRAFT-foundat-calc.pdf bibtex

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pp. 72-87. LNCS no. 2315. Springer. 2002. abstract coord2002-agentprop.ps.gz bibtex

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri.
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pp. 56-71. LNCS no. 2315. Springer. 2002. abstract coord2002-mob-OO-code.ps.gz bibtex

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pp. 32-36. ACM Press. 2002. abstract SAC02-software-update.ps.gz bibtex

Global Programming and Mobile Code
Lorenzo Bettini, GianLuigi Ferrari, Rosario Pugliese.
2002. Draft. abstract DRAFT-Global-Programming.ps.gz bibtex

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese.
Software - Practice and Experience. pp. 1365-1394. vol. 32 no. 14. John Wiley & Sons. 2002. abstract DRAFT-klava.ps.gz bibtex

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pp. 373-377. ACM Press. 2002. abstract SAC02-open-nets.ps.gz SAC02-open-nets-DRAFT.ps.gz bibtex

A Java 2 Network Class Loader
Lorenzo Bettini, Donato Cappetta.
Dr. Dobb's Journal of Software Tools. pp. 58-64. vol. 26 no. 2. 2001. abstract 184404484 bibtex

Hyperformulae, Parallel Deductions and Intersection Types
Beatrice Capitani, Michele Loreti, Betti Venneri.
Electr. Notes Theor. Comput. Sci.. vol. 50 no. 2. 2001. both.pdf bibtex

Higher-Order Types and Meta-Programming for Global Computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese.
Electr. Notes Theor. Comput. Sci.. vol. 62. 2001. bibtex

Global Types and Network Services
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese.
Electr. Notes Theor. Comput. Sci.. vol. 54. 2001. bibtex

MetaKlaim: Meta-programming for Global Computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese.
SAIG. Walid Taha (Eds.). pp. 183-198. Lecture Notes in Computer Science vol. 2196. Springer. 2001. bibtex

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
Xiao Jun Chen, Rocco De Nicola.
Theor. Comput. Sci.. pp. 337-361. vol. 254 no. 1-2. 2001. bibtex

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
SIAM J. Comput.. pp. 947-986. vol. 31 no. 3. 2001. bibtex

Sicurezza e crittografia nei sistemi ad agenti mobili comunicanti tramite spazi di tuple (Security and cryptography in mobile agent systems communicating via tuple spaces)
Daniele Becchi.
Master Thesis (in Italian), Università di Firenze. 2001. ian-tesi.ps.gz bibtex

Divergence in Testing and Readiness Semantics
Rosario Pugliese, Rocco De Nicola, Michele Boreale.
Theoretical Computer Science. pp. 237-248. vol. 266 no. 1-2. Elsevier. 2001. to appear. abstract safemust.ps.gz bibtex

X-Klaim and Klava: Programming Mobile Code
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese.
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). ENTCS vol. 62. Elsevier. 2001. abstract TOSCA01-XKlaim-Klava.ps.gz bibtex

Towards Object-Oriented Klaim
Lorenzo Bettini, Viviana Bono, Betti Venneri.
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). ENTCS vol. 62. Elsevier. 2001. abstract TOSCA01-OKlaim.ps.gz bibtex

Translating Strong Mobility into Weak Mobility
Lorenzo Bettini, Rocco De Nicola.
Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA). G. Picco (Eds.). pp. 182-197. LNCS no. 2240. Springer. 2001. abstract strongmob.ps.gz bibtex

Modelling Node Connectivity in Dynamically Evolving Networks
Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
ConCoord International Workshop on Concurrency and Coordination. ENTCS vol. 54. Elsevier. 2001. abstract clusters.ps.gz bibtex

Linda-based Applicative and Imperative Process Algebras
Rocco De Nicola, Rosario Pugliese.
Theoretical Computer Science. pp. 389-437. vol. 238 no. 1-2. Elsevier Science. 2000. abstract coord96full.ps.gz bibtex

A Modal Logic for Klaim
Rocco De Nicola, Michele Loreti.
Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000. T. Rus (Eds.). pp. 339-354. LNCS no. 1816. Springer. 2000. abstract amast00.ps.gz fullMLK.ps.gz bibtex

Process Algebraic Analysis of Cryptographic Protocols
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Proc. of of Formal Description Techniques (FORTE XIII) & Protocol Specification, Testing, and Verification (PSTV XX) (FORTE/PSTV'00). Kluwer. 2000. to appear. abstract forte00.ps.gz bibtex

Programming Access Control: The Klaim Experience
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00). LNCS. Springer. 2000. abstract concur00.ps.gz bibtex

Types for Access Control
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri.
Theoretical Computer Science. pp. 215-254. vol. 240 no. 1. Elsevier Science. 2000. abstract coord97full.ps.gz bibtex

Proving the correctness of optimising destructive and non-destructive reads over tuple spaces (Exten
Rocco De Nicola, Rosario Pugliese, Antony Rowstron.
Proc. of the Fourth International Conference on Coordination Models and Languages (COORDINATION'00). A. Porto, G.-C. Roman (Eds.). pp. 66-80. LNCS no. 1906. Springer. 2000. abstract ghostfull.ps.gz coord00.ps.gz bibtex

Mobile Applications in X-KLAIM
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Proc. of WOA 2000. A. Corradi, A. Omicini, A. Poggi (Eds.). pp. 1-6. 2000. abstract woa2000.ps.gz bibtex

Structured Nets in Klaim
Lorenzo Bettini, Michele Loreti, Rosario Pugliese.
Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications. pp. 174-180. vol. 1. ACM Press. 2000. abstract strucnets.ps.gz sac2000full.ps.gz bibtex

A Theory of May Testing for Asynchronous Languages
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'99). W. Thomas (Eds.). pp. 165-179. LNCS no. 1578. Springer. 1999. abstract bibtex

Models of Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella.
J. Comput. Syst. Sci.. pp. 412-449. vol. 59 no. 3. 1999. bibtex

A finite axiomatization of nondeterministic regular expressions
Flavio Corradini, Rocco De Nicola, Anna Labella.
ITA. pp. 447-466. vol. 33 no. 4/5. 1999. bibtex

A Theory of "May" Testing for Asynchronous Languages
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
FoSSaCS. pp. 165-179. 1999. bibtex

Graded Modalities and Resource Bisimulation
Flavio Corradini, Rocco De Nicola, Anna Labella.
FSTTCS. pp. 381-393. 1999. bibtex

Coordination and Access Control of Mobile Agents
Rocco De Nicola.
COORDINATION. pp. 1-2. 1999. bibtex

Progetto e realizzazione di un Sistema di Tipi per la Sicurezza di Codice Mobile (Design and Implementation of a Type System for Mobile Code Security)
Marco Di Costanzo.
Master Thesis (in Italian), Università di Firenze. 1999. tesi-marco.ps.gz bibtex

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Extended Abstract)
Anna Ingolfsdottir, Rosario Pugliese.
Proc. of EXPRESS'99. ENTCS vol. 27. Elsevier Science. 1999. http://www.elsevier.nl/locate/entcs/. abstract bibtex

A Symbolic Model Checker for ACTL
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci.
Proc. of International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98). D. Hutter, W. Stephan, P. Traverso, M. Ullmann (Eds.). pp. 228-242. LNCS no. 1641. Springer. 1999. abstract bibtex

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). pp. 157-166. IEEE Computer Society Press. 1999. abstract bibtex

Types as Specifications of Access Policies
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Secure Internet Programming: Security Issues for Distributed and Mobile Objects. J. Vitek, C. Jensen (Eds.). pp. 117-146. LNCS no. 1603. Springer. 1999. abstract denicolasip.ps.gz bibtex

Tree Morphisms and Bisimulations
Rocco De Nicola, Anna Labella.
Electr. Notes Theor. Comput. Sci.. vol. 18. 1998. bibtex

Possible Worlds for Process Algebras
Simone Veglioni, Rocco De Nicola.
CONCUR. pp. 179-193. 1998. bibtex

Basic Observables for Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Information & Computation. pp. 77-98. vol. 149 no. 1. Academic Press. 1998. abstract bibtex

Asynchronous Observations of Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98). M. Nivat (Eds.). pp. 95-109. LNCS no. 1378. Springer. 1998. abstract bibtex

Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile (Design and Implementation of a Programming Language for Mobile Code)
Lorenzo Bettini.
Master Thesis (in Italian), Università di Firenze. 1998. abstract xklaimthesis.ps.gz xklaimthesis-2.ps.gz bibtex

Klaim: a Kernel Language for Agents Interaction and Mobility
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
IEEE Transactions on Software Engineering. pp. 315-330. vol. 24 no. 5. IEEE Computer Society. 1998. abstract tse.pdf bibtex

Interactive Mobile Agents in X-Klaim
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98). pp. 110-115. IEEE Computer Society. 1998. abstract xklaim-wetice98.ps.gz bibtex

The ``Relevance'' of Intersection and Union Types
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri.
Notre Dame Journal of Formal Logic. pp. 246-269. vol. 38 no. 2. 1997. RelevanceIntUnionT.pdf bibtex

Locality Based Semantics for Process Algebras
Flavio Corradini, Rocco De Nicola.
Acta Inf.. pp. 291-324. vol. 34 no. 4. 1997. bibtex

Coordinating Mobile Agents via Blackboards and Access Rights
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97). D. Garlan, D. Le Metayer (Eds.). pp. 220-237. LNCS no. 1282. Springer. 1997. abstract bibtex

Basic Observables for Processes - Extended Abstract
Michele Boreale, Rocco De Nicola, Rosario Pugliese.
Proc. of International Colloquium on Automata, Languages and Programming (ICALP'97). P. Degano, R. Gorrieri, A. Marchetti-Spaccamela (Eds.). pp. 482-492. LNCS no. 1378. Springer. 1997. abstract bibtex

Locality Based Linda: programming with explicit localities
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese.
Proc. of Theory and Practice of Software Development (TAPSOFT'97). M. Bidoit, M. Dauchet (Eds.). pp. 712-726. LNCS no. 1214. Springer. 1997. abstract bibtex

A Process Algebra Based on LINDA
Rocco De Nicola, Rosario Pugliese.
COORDINATION. pp. 160-178. 1996. bibtex

A Symbolic Semantics for the pi-Calculus
Michele Boreale, Rocco De Nicola.
Inf. Comput.. pp. 34-52. vol. 126 no. 1. 1996. bibtex

On Four Partial Ordering Semantics for a Process Calculus
Flavio Corradini, Rocco De Nicola.
Fundam. Inform.. pp. 349-383. vol. 27 no. 4. 1996. bibtex

Concurrency: Theory and Practice
Rocco De Nicola, Scott A. Smolka.
ACM Comput. Surv.. pp. 52. vol. 28 no. 4es. 1996. bibtex

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures
Xiao Jun Chen, Rocco De Nicola.
ICALP. pp. 63-74. 1996. bibtex

Automatic Verification of a Hydroelectric Power Plant
Rosario Pugliese, Enrico Tronci.
Proc. of the Int. Symposium on Industrial Benefit and Advances in Formal Methods (FME'96). M.-C. Gaudel, J. Woodcock (Eds.). pp. 425-444. LNCS no. 1051. Springer. 1996. abstract bibtex

Testing Semantics of Asynchronous Distributed Programs
Rocco De Nicola, Rosario Pugliese.
Proc. of Analysis and Verification of Multiple--Agents Languages (LOMAPS'96). M. Dam (Eds.). pp. 320-344. LNCS no. 1192. Springer. 1996. abstract bibtex

A Process Algebraic View of Input/Output Automata
Rocco De Nicola, Roberto Segala.
Theor. Comput. Sci.. pp. 391-423. vol. 138 no. 2. 1995. bibtex

Three Logics for Branching Bisimulation
Rocco De Nicola, Frits W. Vaandrager.
J. ACM. pp. 458-487. vol. 42 no. 2. 1995. bibtex

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola.
Inf. Comput.. pp. 279-303. vol. 120 no. 2. 1995. bibtex

Fully Abstract Models for Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella.
CONCUR. pp. 130-144. 1995. bibtex

Verifying hardware components within JACK
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori.
CHARME. pp. 246-260. 1995. bibtex

An Observational Semantics for Linda
Rocco De Nicola, Rosario Pugliese.
Proc. of the Int. Workshop on Structures in Concurrency Theory. J. Desel (Eds.). pp. 129-143. Series Workshops in Computing. Springer. 1995. abstract bibtex

Intersection Types as Logical Formulae
Betti Venneri.
J. Log. Comput.. pp. 109-124. vol. 4 no. 2. 1994. IntersectionTypesAsLogFormulae.pdf bibtex

A Completeness Theorem for Nondeterministic Kleene Algebras
Rocco De Nicola, Anna Labella.
MFCS. pp. 536-545. 1994. bibtex

A Symbolic Semantics for the pi-calculus (Extended Abstract)
Michele Boreale, Rocco De Nicola.
CONCUR. pp. 299-314. 1994. bibtex

Distribution and Locality of Concurrent Systems
Flavio Corradini, Rocco De Nicola.
ICALP. pp. 154-165. 1994. bibtex

Universal Axioms for Bisimulations
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
Theor. Comput. Sci.. pp. 63-91. vol. 114 no. 1. 1993. bibtex

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori.
Computer Networks and ISDN Systems. pp. 761-778. vol. 25 no. 7. 1993. bibtex

Observation Trees
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
NAPAW. pp. 103-118. 1992. bibtex

Testing Equivalence for Mobile Processes (Extended Abstract)
Michele Boreale, Rocco De Nicola.
CONCUR. pp. 2-16. 1992. bibtex

Action and State-based Logics for Process Algebras
Rocco De Nicola.
CONCUR. pp. 20-22. 1991. bibtex

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori.
CAV. pp. 37-47. 1991. bibtex

Three Logics for Branching Bisimulation (Extended Abstract)
Rocco De Nicola, Frits W. Vaandrager.
LICS. pp. 118-129. 1990. bibtex

A Partial Ordering Semantics for CCS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
Theor. Comput. Sci.. pp. 223-262. vol. 75 no. 3. 1990. bibtex

Action versus State based Logics for Transition Systems
Rocco De Nicola, Frits W. Vaandrager.
Semantics of Systems of Concurrent Processes. pp. 407-419. 1990. bibtex

Observational Logics and Concurrency Models
Rocco De Nicola, Gian Luigi Ferrari.
FSTTCS. pp. 301-315. 1990. bibtex

Back and Forth Bisimulations
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager.
CONCUR. pp. 152-165. 1990. bibtex

Partial Types and Intervals
Mariangiola Dezani-Ciancaglini, Betti Venneri.
SIAM J. Comput.. pp. 644-568. vol. 19 no. 4. 1990. bibtex

Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
Rocco De Nicola, Paola Inverardi, Monica Nesi.
Automatic Verification Methods for Finite State Systems. pp. 54-67. 1989. bibtex

Observational Equivalences for Concurrency Models
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
Formal Description of Programming Concepts - III. M. Wirsing (Eds.). pp. 105-132. North Holland. 1988. bibtex

Partial orderings descriptions and observations of nondeterministic concurrent processes
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
REX Workshop. pp. 438-466. 1988. bibtex

On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract)
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
LICS. pp. 133-141. 1988. bibtex

A Distributed Operational Semantics for CCS Based on Condition/Event Systems
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
Acta Inf.. pp. 59-91. vol. 26 no. 1/2. 1988. bibtex

Extensional Equivalences for Transition Systems
Rocco De Nicola.
Acta Inf.. pp. 211-237. vol. 24 no. 2. 1987. bibtex

CCS without tau's
Rocco De Nicola, Matthew Hennessy.
TAPSOFT, Vol.1. pp. 138-152. 1987. bibtex

Net Theory and Application - Response
Rocco De Nicola.
IFIP Congress. pp. 833-836. 1986. bibtex

CCS is an (Augmented) Contact Free C/E System
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
Mathematical Models for the Semantics of Parallelism. pp. 144-165. 1986. bibtex

Testing Equivalences for Event Structures
Luca Aceto, Rocco De Nicola, Alessandro Fantechi.
Mathematical Models for the Semantics of Parallelism. pp. 1-20. 1986. bibtex

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Rocco De Nicola.
Information and Control. pp. 136-172. vol. 64 no. 1-3. 1985. information_control_1985_64_136-172.pdf bibtex

Testing Equivalences and Fully Abbstract Models for Communicating Processes
Rocco De Nicola.
PhD Thesis. pp. 213. University of Edinburgh. 1985. PhDThesis_DeNicola.pdf bibtex

Partial ordering derivations for CCS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
FCT. pp. 520-533. 1985. bibtex

Testing Equivalences for Processes
Rocco De Nicola, Matthew Hennessy.
Theor. Comput. Sci.. pp. 83-133. vol. 34. 1984. testing-paper.pdf bibtex

Models and Operators for Nondeterministic Processes
Rocco De Nicola.
MFCS. pp. 433-442. 1984. bibtex

Principal Type Schemes for an Extended Type Theory
Simona Ronchi Della Rocca, Betti Venneri.
Theor. Comput. Sci.. pp. 151-169. vol. 28. 1984. bibtex

Testing Equivalence for Processes
Rocco De Nicola, Matthew Hennessy.
ICALP. pp. 548-560. 1983. bibtex

A Complete Set of Axioms for a Theory of Communicating Sequential Processes
Rocco De Nicola.
FCT. pp. 115-126. 1983. bibtex

Functional Characters of Solvable Terms.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri.
Math. Logik Und Grund. Math. . pp. 45--58. vol. 27. 1981. bibtex

Communication Through Message Passing or Shared Memory: A Formal Comparison
Rocco De Nicola, Alberto Martelli, Ugo Montanari.
ICDCS. pp. 513-522. 1981. bibtex

Principal Type Schemes and Lambda-calculus Semantics
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri.
To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism. R. Hindley and J. Seldin (Eds.). pp. 480--490. Accademic Press, London. 1980. bibtex