PhpBibliography: Papers

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Marco Bernardo, Rocco De Nicola, Michele Loreti
Inf. Comput.. pages 29-82. volume 225. 2013.
Bibtex

Combining traits with boxes and ownership types in a Java-like setting
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
Science of Computer Programming. pages 218–247. volume 78. number 2. 2013.
Abstract Bibtex

url

Approaches and Tools for Implementing Type Systems in Xtext
Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo
Software Language Engineering. pages 392-412. volume 7745. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-364236088-6. 2012.
Abstract Bibtex

url

pdf

Modeling adaptation with a tuple-based coordination language
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
SAC. Sascha Ossowski, Paola Lecca (Eds.). pages 1522-1527. Publisher: ACM. ISBN: 978-1-4503-0857-1. 2012.
Bibtex

Towards a Formal Verification Methodology for Collective Robotic Systems
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
ICFEM. Toshiaki Aoki, Kenji Taguchi (Eds.). pages 54-70. volume 7635. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-34280-6. 2012.
Bibtex

On Flexible Dynamic Trait Replacement for Java-like Languages
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
Science of Computer Programming. 2012. To appear.
Abstract Bibtex

url

Compositional Type Checking of Delta-Oriented Software Product Lines
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Acta Informatica. Publisher: Springer. 2012. To Appear.
Abstract Bibtex

EMF Components - Filling the Gap between Models and UI
Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 34-43. Publisher: SciTePress. ISBN: 978-989-8565-19-8. 2012.
Abstract Bibtex

Generics and Reverse Generics for Pharo
Alexandre Bergel, Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 363-372. Publisher: SciTePress. 2012. Best Paper Award.
Abstract Bibtex

Software diversity: state of the art and perspectives
Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
International Journal on Software Tools for Technology Transfer. pages 477-495. volume 14. Publisher: Springer-Verlag. 2012.
Bibtex

url

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
FoSSaCS. Lars Birkedal (Eds.). pages 195-209. volume 7213. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-28728-2. 2012.
Bibtex

Deriving Session and Union Types for Objects
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Mathematical Structures in Computer Science. Publisher: Cambridge University Press. 2012. To appear.
Bibtex

pdf

Context Aware Specification and Verification of Distributed Systems
Liliana D'Errico, Michele Loreti
TGC. Roberto Bruni, Vladimiro Sassone (Eds.). pages 142-159. volume 7173. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-30064-6. 2011.
Bibtex

A Language-Based Approach to Autonomic Computing
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese
FMCO. Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.). pages 25-48. volume 7542. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-35886-9. ISBN: 978-3-642-35887-6. 2011.
Bibtex

SoSL: A Service-Oriented Stochastic Logic
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 447-466. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex

Quantitative Analysis of Services
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 522-540. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex

Analysing Robot Movement Using the Sensoria Methods
Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 678-697. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti
PACO. Luca Aceto, Mohammad Reza Mousavi (Eds.). pages 66-75. volume 60. Series: EPTCS. 2011.
Bibtex

TraitRecordJ: A programming language with traits and records
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
Science of Computer Programming. 2011.
Bibtex

url

A DSL for Writing Type Systems for Xtext Languages
Lorenzo Bettini
Proceedings of Principles and Practice of Programming in Java (PPPJ). Christian Wimmer, Christian W. Probst (Eds.). pages 31-40. Publisher: ACM. 2011.
Abstract Bibtex

url

Object Reuse and Behavior Adaptation in Java-like Languages
Lorenzo Bettini, Betti Venneri
Proceedings of Principles and Practice of Programming in Java (PPPJ). Christian Wimmer, Christian W. Probst (Eds.). pages 111-120. Publisher: ACM. 2011.
Abstract Bibtex

url

Extending the BPEL Designer with Xtext based editors
Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri
Proc. of ECLIPSE-IT. pages 332-333. ISBN: 9788890438820. 2011.
Bibtex

Reverse Generics - Parametrization after the Fact
Alexandre Bergel, Lorenzo Bettini
ICSOFT (1). Boris Shishkov, José Cordeiro, Alpesh Ranchordas (Eds.). pages 107-123. volume 50. Publisher: Springer. Series: Communications in Computer and Information Science. ISBN: 978-3-642-20116-5. 2011.
Abstract Bibtex

pdf

Linear-Time and May-Testing in a Probabilistic Reactive Setting
Lucia Acciai, Michele Boreale, Rocco De Nicola
FMOODS/FORTE. Roberto Bruni, Jürgen Dingel (Eds.). pages 29-43. volume 6722. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-21460-8. 2011.
Bibtex

Delegation by object composition
Lorenzo Bettini, Viviana Bono, Betti Venneri
Science of Computer Programming. pages 992-1014. volume 76. number 11. Publisher: Elsevier. 2011.
Abstract Bibtex

url

Compositional Type-Checking for Delta-oriented Programming
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11. pages 43--56. Publisher: ACM. 2011.
Abstract Bibtex

url

Property-Preserving Refinement of Concurrent Systems
Liliana D'Errico, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 222-236. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 35-56. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex

Simulation and Analysis of Distributed Systems in Klaim
Francesco Calzolai, Michele Loreti
COORDINATION. Dave Clarke, Gul A. Agha (Eds.). pages 122-136. volume 6116. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-13413-5. 2010.
Bibtex

Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella
Mathematical Structures in Computer Science. pages 319-358. volume 20. number 3. 2010.
Bibtex

An Eclipse-based IDE for Featherweight Java implemented in Xtext
Lorenzo Bettini
Proc. ECLIPSE-IT. pages 14-28. ISBN: 9788890438813. 2010.
Abstract Bibtex

url

pdf

Delta-oriented Programming of Software Product Lines
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
Proc. of Software Product Line Conference (SPLC 2010). pages 77-91. volume 6287. Publisher: Springer. Series: LNCS. 2010.
Abstract Bibtex

pdf

A Calculus for Boxes and Traits in a Java-Like Setting
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
COORDINATION. Dave Clarke, Gul A. Agha (Eds.). pages 46-60. volume 6116. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-13413-5. 2010.
Abstract Bibtex

pdf

Compositional Type-Checking of Delta-oriented Product Lines
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
22nd Nordic Workshop on Programming Theory - NWPT. 2010.
Abstract Bibtex

pdf

A Prototypical Java-like Language with Records and Traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 2096-2102. Publisher: ACM. 2010.
Abstract Bibtex

pdf

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.). pages 2096-2102. Publisher: ACM. 2010.
Abstract Bibtex

pdf

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-04569-1. 2009.
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) . pages 455-462. volume 5961. Publisher: Springer. Series: LNCS. 2009.
Abstract Bibtex

pdf

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.). pages 1136-1141. 2009.
Bibtex

Provably Correct Implementations of Services
Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 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.). pages 52-68. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 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. pages 1-7. Publisher: ACM Digital Library. 2009.
Abstract Bibtex

pdf

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.). pages 435-446. volume 5556. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex

pdf

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.). pages 11-26. volume 229. number 4. Publisher: 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.). pages 27-44. volume 5634. Publisher: Springer. Series: LNCS. 2009.
Abstract Bibtex

pdf

Featherweight Java with Dynamic and Static Overloading
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Science of Computer Programming. pages 261-278. volume 74. number 5-6. Publisher: Elsevier. 2009.
Abstract Bibtex

pdf

url

Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account
Lorenzo Bettini, Sara Capecchi, Betti Venneri
RAIRO - Theoretical Informatics and Applications. pages 517-565. number 43. 2009.
Abstract Bibtex

pdf

html

Assume-Guarantee Verification of Concurrent Systems
Liliana D'Errico, Michele Loreti
COORDINATION. John Field, Vasco Thudichum Vasconcelos (Eds.). pages 288-305. volume 5521. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex

pdf

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. pages 418-433. volume 5201. Publisher: Springer. Series: LNCS. 2008.
Abstract Bibtex

pdf

Session and Union Types for Object Oriented Programming
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Concurrency, Graphs and Models. pages 659-680. volume 5065. Publisher: Springer. Series: LNCS. 2008.
Abstract Bibtex

pdf

Provably Correct Implementations of Services
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
TGC. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-00944-0. 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é Meseguer (Eds.). volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-68676-7. 2008.
Bibtex

Timed Buffers: A Technique For Update Propagation In Nomadic Environments
Lorenzo Bettini
Computer Communications. pages 3209-3222. number 31. Publisher: Elsevier. 2008.
Abstract Bibtex

url

pdf

Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Coordination Models and Languages (COORDINATION2008). Doug Lea, Gianluigi Zavattaro (Eds.). pages 17-32. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Abstract Bibtex

pdf

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.). pages 343-355. volume 23. Publisher: Springer. Series: Communications in Computer and Information Science. 2008.
Abstract Bibtex

url

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. pages 54-70. volume 5100. Publisher: Springer. Series: Lecture Notes in Computer Science. 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. pages 149--158. Publisher: ACM Press. 2008.
Abstract Bibtex

pdf

Type Safe Dynamic Object Delegation in Class-based Languages
Lorenzo Bettini, Viviana Bono
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 171--180. Publisher: ACM Press. 2008.
Abstract Bibtex

pdf

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.). pages 3737-3745. volume 366. number 1881. Publisher: Royal Society. 2008.
Bibtex

url

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ò (Eds.). pages 166-180. volume 5247. Publisher: Springer. Series: Lecture Notes in Computer Science. 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.). pages 198-217. volume 11. Publisher: Springer. Series: LNBIP. 2008.
Abstract Bibtex

pdf

Service Discovery and Negotiation With COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Electr. Notes Theor. Comput. Sci.. pages 133-154. volume 200. number 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é Luiz Fiadeiro, Paola Inverardi (Eds.). pages 230-245. volume 4961. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex

A Formal Account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
COORDINATION. Doug Lea, Gianluigi Zavattaro (Eds.). pages 199-215. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 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é Meseguer (Eds.). pages 701-720. volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex

A Typed Lambda Calculus with Intersection Types
Viviana Bono, Betti Venneri, Lorenzo Bettini
Theoretical Computer Science. pages 95-113. volume 398. number 1-3. Publisher: Elsevier. 2008.
Abstract Bibtex

pdf

Featherweight Wrap Java: wrapping objects and methods
Lorenzo Bettini, Sara Capecchi, Elena Giachino
Journal of Object Technology. pages 5-29. volume 7. number 2. 2008. Special Issue OOPS Track at SAC 2007.
Abstract Bibtex

pdf

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.). pages 19-38. volume 5051. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex

pdf

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). pages 100-116. volume 5052. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Bibtex

pdf

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

Multiple-Labelled Transition Systems for nominal calculi and their logics
Rocco De Nicola, Michele Loreti
Mathematical Structures in Computer Science. pages 107-143. volume 18. number 1. 2008.
Bibtex

Semantic subtyping for the pi-calculus
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Theor. Comput. Sci.. pages 217-242. volume 398. number 1-3. 2008.
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.). volume 4421. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-71314-2. 2007.
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.). pages 9-16. Publisher: INSTICC Press. 2007.
Bibtex

A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
ESOP. Rocco De Nicola (Eds.). pages 33-47. volume 4421. Publisher: Springer. Series: Lecture Notes in Computer Science. 2007.
Bibtex

Regulating Data Exchange in Service Oriented Applications
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
FSEN. Farhad Arbab, Marjan Sirjani (Eds.). pages 223-239. volume 4767. Publisher: Springer. Series: Lecture Notes in Computer Science. 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.). pages 275-290. volume 4711. Publisher: Springer. Series: Lecture Notes in Computer Science. 2007.
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). pages 63-79. volume 181. Publisher: Elsevier. Series: ENTCS. 2007.
Abstract Bibtex

pdf

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). pages 1094-1100. Publisher: ACM Press. 2007.
Abstract Bibtex

pdf

Featherweight Java with Multi-Methods
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 83-92. volume 272. Publisher: ACM Press. 2007.
Abstract Bibtex

pdf

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 Bibtex

pdf

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Rocco De Nicola, Michele Loreti
pages 133-146. volume 169. Series: Electronic Notes in Theoretical Computer Science. 2007.
Abstract Bibtex

pdf

A Service Oriented Process Calculus with Sessioning and Pipelining
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2007. Draft.
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.). pages 6-10. Publisher: World Scientific. 2007.
Abstract Bibtex

pdf

Basic Observables for Probabilistic May Testing
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
Fourth International Conference on the Quantitative Evaluation of Systems. pages 189-198. Publisher: IEEE. 2007.
Abstract Bibtex

pdf

Global computing in a dynamic network of tuple spaces
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Sci. Comput. Program.. pages 187-204. volume 64. number 2. 2007.
Bibtex

pdf

Basic observables for a calculus for global computing
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Inf. Comput.. pages 1491-1525. volume 205. number 10. 2007.
Bibtex

pdf

Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
Theor. Comput. Sci.. pages 42-70. volume 382. number 1. 2007.
Bibtex

url

Modeling Fuzzy Behaviours in Concurrent Systems
Liliana D'Errico, Michele Loreti
ICTCS. pages 94-105. 2007.
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.). pages 13-35. volume 7. number 4. 2006.
Abstract Bibtex

url

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.). pages 30-50. volume 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-75333-9. 2006.
Bibtex

A WSDL-Based Type System for WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
COORDINATION. Paolo Ciancarini, Herbert Wiklicky (Eds.). pages 145-163. volume 4038. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Bibtex

Double Dispatch in C++
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Software - Practice and Experience. pages 581 - 613. volume 36. number 6. 2006.
Abstract Bibtex

Confining Data and Processes in Global Computing Applications
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Science of Computer Programming. pages 57-87. volume 63. number 1. Publisher: Elsevier Science. 2006.
Abstract Bibtex

pdf

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.). pages 38--57. volume 4184. Publisher: Springer Verlag. Series: Lecture Notes in Computer Science. 2006.
Abstract Bibtex

STOKLAIM: A Stochastic Extension of KLAIM
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
number 2006-TR-01. 2006.
Bibtex

pdf

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

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

pdf

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

From Process Calculi to Klaim and Back
Rocco De Nicola
Electr. Notes Theor. Comput. Sci.. pages 159-162. volume 162. 2006.
Bibtex

On the expressive power of KLAIM-based calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Theor. Comput. Sci.. pages 387-421. volume 356. number 3. 2006.
Bibtex

Towards a Logic for Performance and Mobility
Rocco De Nicola, Pieter Katoen, Diego Latella, Mieke Massink
Electr. Notes Theor. Comput. Sci.. pages 161-175. volume 153. number 2. 2006.
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.). pages 112-122. volume 3409. Publisher: Springer. Series: LNCS. 2005.
Abstract Bibtex

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-30007-4. 2005.
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.). pages 29-68. volume 3465. Publisher: Springer. Series: LNCS. 2005.
Abstract 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.). pages 404-444. volume 3838. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex

MoMi: A Calculus for Mobile Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Acta Informatica. pages 143 - 190. volume 42. number 2-3. Publisher: Springer. 2005.
Abstract Bibtex

url

Translating Double-Dispatch into Single-Dispatch
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004). pages 59-78. volume 138. number 2. Publisher: Elsevier. Series: ENTCS. 2005.
Abstract Bibtex

pdf

Safe and Flexible Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of SAC 2005, Special Track on Object-Oriented Programming Languages and Systems (OOPS). pages 1268-1273. Publisher: ACM Press. 2005.
Abstract Bibtex

pdf

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.). pages 128-142. volume 3701. Publisher: Springer. Series: LNCS. 2005.
Abstract Bibtex

pdf

Safe and Flexible Objects with Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Journal of Object Technology, Special Issue: OOPS Track at SAC 2005. pages 5-29. volume 4. number 10. 2005.
Abstract Bibtex

url

A method for symbolic analysis of security protocols.
Maria Grazia Buscemi, Michele Boreale
Theor. Comput. Sci.. pages 393-425. volume 338. number 1-3. 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.). pages 157-172. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 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.). pages 33-48. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 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.). pages 1-14. volume 3535,year. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
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.). pages 1226-1238. volume 3580,,. Publisher: Springer. Series: Lecture Notes in Computer Science. 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). pages 181--193. volume 3543. Publisher: Springer. Series: LNCS. 2005.
Abstract Bibtex

pdf

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

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

Types in concurrency
Rocco De Nicola, Davide Sangiorgi
Acta Inf.. pages 79-81. volume 42. number 2-3. 2005.
Bibtex

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

On the Expressive Power of Klaim-based Calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. pages 117-130. volume 128. number 2. 2005.
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.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-21044-X. 2004.
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. pages 245-288. volume 11. number 3. 2004.
Abstract 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.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract Bibtex

pdf

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.). pages 179-207. volume 3267. Publisher: Springer. Series: LNCS. 2004.
Abstract 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). pages 1508-1509. Publisher: 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. pages 83-98. volume 3085. Publisher: Springer. Series: LNCS. 2004.
Abstract Bibtex

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

MetaKlaim: a type safe multi-stage language for global computing
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Mathematical Structures in Computer Science. pages 367-395. volume 14. number 3. 2004.
Bibtex

Dynamic and Local Typing for Mobile Ambients
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
IFIP TCS. Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.). pages 577-590. Publisher: Kluwer. 2004.
Bibtex

A Core Calculus of Mixin-Based Incomplete Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec
FOOL 11. 2004.
Abstract Bibtex

pdf

O'Klaim: a coordination language with mobile mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination. pages 20-37. volume 2949. Publisher: Springer. Series: LNCS. 2004.
Abstract Bibtex

pdf

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.). pages 451--464. Publisher: Kluwer Academic Publishers. 2004.
Abstract Bibtex

pdf

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. pages 161-165. Publisher: IEEE. 2004.
Abstract Bibtex

pdf

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

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

Extending Java to dynamic object behaviors
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc of WOOD 2003. pages 33-52. volume 82. number 8. Series: ENTCS. 2003.
Abstract Bibtex

pdf

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.). pages 175-184. number 2604. Publisher: Springer. Series: LNCS. 2003.
Abstract Bibtex

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations
Lorenzo Bettini
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2003.
Abstract 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 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 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.). pages 119-132. volume 2719. Publisher: Springer. Series: Lecture Notes in Computer Science. 2003.
Bibtex

Enforcing Security Policies via Types
Daniele Gorla, Rosario Pugliese
SPC. Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.). pages 86-100. volume 2802. Publisher: Springer. Series: Lecture Notes in Computer Science. 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. pages 436-479. 2003.
Bibtex

Nondeterministic regular expressions as solutions of equational systems
Rocco De Nicola, Anna Labella
Theor. Comput. Sci.. pages 179-189. volume 302. number 1-3. 2003.
Bibtex

Subtyping Mobile Classes and Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of FOOL 2003. 2003.
Abstract 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.). pages 1-15. Publisher: Kluwer Academic Publishers. 2003.
Abstract 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.). pages 12-22. volume 2952. Publisher: Springer. Series: LNCS. 2003.
Abstract Bibtex

Open nets, contexts and their properties
Rocco De Nicola, Michele Loreti
2003. submitted.
Abstract Bibtex

pdf

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.). pages 88-150. volume 2874. Publisher: Springer. Series: LNCS. 2003.
Abstract Bibtex

X-Klaim and Klava: Programming Mobile Code
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). pages 24-37. volume 62. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract Bibtex

Modelling Node Connectivity in Dynamically Evolving Networks
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
ConCoord International Workshop on Concurrency and Coordination. volume 54. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract 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.). pages 1-33. volume 2755. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-20537-3. 2002.
Bibtex

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract 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. pages 32-36. Publisher: ACM Press. 2002.
Abstract Bibtex

Guardians for Ambient-based Monitoring
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 66. number 3. 2002.
Bibtex

Trace and Testing Equivalence on Asynchronous Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Inf. Comput.. pages 139-164. volume 172. number 2. 2002.
Bibtex

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pages 373-377. Publisher: ACM Press. 2002.
Abstract Bibtex

Global Programming and Mobile Code
Lorenzo Bettini, GianLuigi Ferrari, Rosario Pugliese
2002. Draft.
Abstract Bibtex

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract Bibtex

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 72-87. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract Bibtex

Foundational Calculi for Network Aware Programming
GianLuigi Ferrari, Rosario Pugliese, Emilio Tuosto
2002. Draft.
Abstract Bibtex

pdf

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pages 67-81. number 2303. Publisher: Springer. Series: LNCS. 2002.
Bibtex

pdf

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi
Proc. of CONCUR '02. Publisher: Springer. 2002.
Bibtex

A Modal Logic for Mobile Agents
Rocco De Nicola, Michele Loreti
ACM Transactions on Computational Logic. Publisher: ACM. 2002. to appear.
Abstract Bibtex

Languages and Logics for Network Aware Programming
Michele Loreti
Tesi di Dottorato, Ciclo XIII, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2002.
Abstract 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.
Bibtex

Programmazione di Agenti Mobili in C# (Programming Mobile Agents in C#)
Alessandro Lapadula
Master Thesis (in Italian), Università di Firenze. 2002.
Abstract 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 Bibtex

pdf

An Equational Axiomatization of Bisimulation over Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
J. Log. Comput.. pages 301-320. volume 12. number 2. 2002.
Bibtex

A Java 2 Network Class Loader
Lorenzo Bettini, Donato Cappetta
Dr. Dobb's Journal of Software Tools. pages 58-64. volume 26. number 2. 2001.
Abstract Bibtex

url

Hyperformulae, Parallel Deductions and Intersection Types
Beatrice Capitani, Michele Loreti, Betti Venneri
Electr. Notes Theor. Comput. Sci.. volume 50. number 2. 2001.
Bibtex

pdf

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

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

Global Types and Network Services
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 54. 2001.
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.). pages 182-197. number 2240. Publisher: Springer. Series: LNCS. 2001.
Abstract Bibtex

Proof Techniques for Cryptographic Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
SIAM J. Comput.. pages 947-986. volume 31. number 3. 2001.
Bibtex

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
Xiao Jun Chen, Rocco De Nicola
Theor. Comput. Sci.. pages 337-361. volume 254. number 1-2. 2001.
Bibtex

Towards Object-Oriented Klaim
Lorenzo Bettini, Viviana Bono, Betti Venneri
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). volume 62. Publisher: Elsevier. Series: ENTCS. 2001.
Abstract Bibtex

Divergence in Testing and Readiness Semantics
Rosario Pugliese, Rocco De Nicola, Michele Boreale
Theoretical Computer Science. pages 237-248. volume 266. number 1-2. Publisher: Elsevier. 2001. to appear.
Abstract 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.
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.). pages 1-6. 2000.
Abstract Bibtex

Linda-based Applicative and Imperative Process Algebras
Rocco De Nicola, Rosario Pugliese
Theoretical Computer Science. pages 389-437. volume 238. number 1-2. Publisher: Elsevier Science. 2000.
Abstract Bibtex

Structured Nets in Klaim
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications. pages 174-180. volume 1. Publisher: ACM Press. 2000.
Abstract 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.). pages 66-80. number 1906. Publisher: Springer. Series: LNCS. 2000.
Abstract Bibtex

Types for Access Control
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri
Theoretical Computer Science. pages 215-254. volume 240. number 1. Publisher: Elsevier Science. 2000.
Abstract 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). Publisher: Springer. Series: LNCS. 2000.
Abstract 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). Publisher: Kluwer. 2000. to appear.
Abstract 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.). pages 339-354. number 1816. Publisher: Springer. Series: LNCS. 2000.
Abstract 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.). pages 165-179. number 1578. Publisher: Springer. Series: LNCS. 1999.
Abstract Bibtex

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

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

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

A finite axiomatization of nondeterministic regular expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
ITA. pages 447-466. volume 33. number 4/5. 1999.
Bibtex

Models of Nondeterministic Regular Expressions
Flavio Corradini, Rocco De Nicola, Anna Labella
J. Comput. Syst. Sci.. pages 412-449. volume 59. number 3. 1999.
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.). pages 117-146. number 1603. Publisher: Springer. Series: LNCS. 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). pages 157-166. Publisher: IEEE Computer Society Press. 1999.
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.). pages 228-242. number 1641. Publisher: Springer. Series: LNCS. 1999.
Abstract Bibtex

Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Extended Abstract)
Anna Ingolfsdottir, Rosario Pugliese
Proc. of EXPRESS'99. volume 27. Publisher: Elsevier Science. Series: ENTCS. 1999. http://www.elsevier.nl/locate/entcs/.
Abstract 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.
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). pages 110-115. Publisher: IEEE Computer Society. 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 Bibtex

Klaim: a Kernel Language for Agents Interaction and Mobility
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
IEEE Transactions on Software Engineering. pages 315-330. volume 24. number 5. Publisher: IEEE Computer Society. 1998.
Abstract Bibtex

pdf

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

Tree Morphisms and Bisimulations
Rocco De Nicola, Anna Labella
Electr. Notes Theor. Comput. Sci.. volume 18. 1998.
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.). pages 95-109. number 1378. Publisher: Springer. Series: LNCS. 1998.
Abstract Bibtex

Basic Observables for Processes
Michele Boreale, Rocco De Nicola, Rosario Pugliese
Information & Computation. pages 77-98. volume 149. number 1. Publisher: Academic Press. 1998.
Abstract Bibtex

The ``Relevance'' of Intersection and Union Types
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
Notre Dame Journal of Formal Logic. pages 246-269. volume 38. number 2. 1997.
Bibtex

pdf

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.). pages 712-726. number 1214. Publisher: Springer. Series: LNCS. 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.). pages 482-492. number 1378. Publisher: Springer. Series: LNCS. 1997.
Abstract 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.). pages 220-237. number 1282. Publisher: Springer. Series: LNCS. 1997.
Abstract Bibtex

Locality Based Semantics for Process Algebras
Flavio Corradini, Rocco De Nicola
Acta Inf.. pages 291-324. volume 34. number 4. 1997.
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.). pages 320-344. number 1192. Publisher: Springer. Series: LNCS. 1996.
Abstract Bibtex

A Process Algebra Based on LINDA
Rocco De Nicola, Rosario Pugliese
COORDINATION. pages 160-178. 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.). pages 425-444. number 1051. Publisher: Springer. Series: LNCS. 1996.
Abstract Bibtex

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

Concurrency: Theory and Practice
Rocco De Nicola, Scott A. Smolka
ACM Comput. Surv.. pages 52. volume 28. number 4es. 1996.
Bibtex

On Four Partial Ordering Semantics for a Process Calculus
Flavio Corradini, Rocco De Nicola
Fundam. Inform.. pages 349-383. volume 27. number 4. 1996.
Bibtex

A Symbolic Semantics for the pi-Calculus
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 34-52. volume 126. number 1. 1996.
Bibtex

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 279-303. volume 120. number 2. 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.). pages 129-143. Publisher: Springer. Series: Series Workshops in Computing. 1995.
Abstract Bibtex

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

Testing Equivalence for Mobile Processes
Michele Boreale, Rocco De Nicola
Inf. Comput.. pages 279-303. volume 120. number 2. 1995.
Bibtex

Three Logics for Branching Bisimulation
Rocco De Nicola, Frits W. Vaandrager
J. ACM. pages 458-487. volume 42. number 2. 1995.
Bibtex

A Process Algebraic View of Input/Output Automata
Rocco De Nicola, Roberto Segala
Theor. Comput. Sci.. pages 391-423. volume 138. number 2. 1995.
Bibtex

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

A Completeness Theorem fro Nondeterministic Kleene Algebras
Rocco De Nicola, Anna Labella
MFCS. Igor Prívara, Branislav Rovan, Peter Ruzicka (Eds.). pages 536-545. volume 841. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-58338-6. 1994.
Bibtex

Intersection Types as Logical Formulae
Betti Venneri
J. Log. Comput.. pages 109-124. volume 4. number 2. 1994.
Bibtex

pdf

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

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

Distribution and Locality of Concurrent Systems
Flavio Corradini, Rocco De Nicola
ICALP. pages 154-165. 1994.
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. pages 761-778. volume 25. number 7. 1993.
Bibtex

Universal Axioms for Bisimulations
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Theor. Comput. Sci.. pages 63-91. volume 114. number 1. 1993.
Bibtex

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

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

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

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

Three Logics for Branching Bisimulation (Extended Abstract)
Rocco De Nicola, Frits W. Vaandrager
LICS. pages 118-129. Publisher: IEEE Computer Society. 1990.
Bibtex

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

Partial Types and Intervals
Mariangiola Dezani-Ciancaglini, Betti Venneri
SIAM J. Comput.. pages 644-568. volume 19. number 4. 1990.
Bibtex

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

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

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

A Partial Ordering Semantics for CCS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Theor. Comput. Sci.. pages 223-262. volume 75. number 3. 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. pages 54-67. 1989.
Bibtex

On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract)
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
LICS. pages 133-141. Publisher: IEEE Computer Society. 1988.
Bibtex

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

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

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

A Distributed Operational Semantics for CCS Based on Condition/Event Systems
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Acta Inf.. pages 59-91. volume 26. number 1/2. 1988.
Bibtex

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

Extensional Equivalences for Transition Systems
Rocco De Nicola
Acta Inf.. pages 211-237. volume 24. number 2. 1987.
Bibtex

Net Theory and Application - Response
Rocco De Nicola
IFIP Congress. pages 833-836. 1986.
Bibtex

Testing Equivalences for Event Structures
Luca Aceto, Rocco De Nicola, Alessandro Fantechi
Mathematical Models for the Semantics of Parallelism. pages 1-20. 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. pages 144-165. 1986.
Bibtex

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Rocco De Nicola
Information and Control. pages 136-172. volume 64. number 1-3. 1985.
Bibtex

pdf

Testing Equivalences and Fully Abbstract Models for Communicating Processes
Rocco De Nicola
PhD Thesis. pages 213. Publisher: University of Edinburgh. 1985.
Bibtex

pdf

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

Testing Equivalences for Processes
Rocco De Nicola, Matthew Hennessy
Theor. Comput. Sci.. pages 83-133. volume 34. 1984.
Bibtex

pdf

Principal Type Schemes for an Extended Type Theory
Simona Ronchi Della Rocca, Betti Venneri
Theor. Comput. Sci.. pages 151-169. volume 28. 1984.
Bibtex

Models and Operators for Nondeterministic Processes
Rocco De Nicola
MFCS. pages 433-442. 1984.
Bibtex

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

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

Functional Characters of Solvable Terms.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Math. Logik Und Grund. Math. . pages 45--58. volume 27. 1981.
Bibtex

Communication Through Message Passing or Shared Memory: A Formal Comparison
Rocco De Nicola, Alberto Martelli, Ugo Montanari
ICDCS. pages 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.). pages 480--490. Publisher: Accademic Press, London. 1980.
Bibtex