IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 13:39:06 +0100Fri, 29 Mar 2024 13:39:06 +0100en Programming of CAS Systems by Relying on Attribute-Based Communication
http://eprints.imtlucca.it/3953/
Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016) Initial Algebra for a System of Right-Linear Functors
http://eprints.imtlucca.it/3952/
Labella, Anna and De Nicola, Rocco Initial Algebra for a System of Right-Linear Functors. Acta Cybernetica, 23 (1). pp. 191-201. ISSN 0324-721X (2017) Verifying Properties of Systems Relying on Attribute-Based Communication
http://eprints.imtlucca.it/3951/
De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017) AErlang: Empowering Erlang with Attribute-Based Communication
http://eprints.imtlucca.it/3949/
De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017) Smart Contract Negotiation in Cloud Computing
http://eprints.imtlucca.it/3948/
Vincenzo, Scoca and Uriarte, Rafael Brundo and De Nicola, Rocco Smart Contract Negotiation in Cloud Computing. In: 10th International Conference on Cloud Computing (CLOUD), September 11, 2017, Honolulu, CA, USA pp. 592-599. ISBN 978-1-5386-1993-3. (2017) P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging
http://eprints.imtlucca.it/3947/
Di Stefano, R. and Shams, Farshad and Ghiadoni, L. and Imbalzano, E. and Nuti, M. and Taddei, S. and De Nicola, Rocco P3445Correlation between vascular age and surrogate markers of atherosclerosis and vascular aging. European Heart Journal, 38 (suppl_). ehx504.P3445. ISSN 0195-668X (2017) Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication
http://eprints.imtlucca.it/3946/
Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted) A Behavioural Theory for Interactions in Collective-Adaptive Systems
http://eprints.imtlucca.it/3945/
Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted) Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter
http://eprints.imtlucca.it/3570/
De Nicola, Rocco and Maggi, Alessandro and Petrocchi, Marinella and Spognardi, Angelo and Tiezzi, Francesco Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. In: Software Engineering and Formal Methods. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science (9276). Springer, pp. 327-343. ISBN 978-3-319-22969-0 (2015) Replica-Based High-Performance Tuple Space Computing
http://eprints.imtlucca.it/3569/
Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015) On Integrating Social and Sensor Networks for Emergency Management
http://eprints.imtlucca.it/3568/
Shams, Farshad and Cerone, Antonio and De Nicola, Rocco On Integrating Social and Sensor Networks for Emergency Management. In: Software Engineering and Formal Methods. SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Lecture Notes in Computer Science (9509). Springer, pp. 145-160. ISBN 978-3-662-49224-6 (2015) Global Protocol Implementations via Attribute-Based Communication
http://eprints.imtlucca.it/3567/
De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo Global Protocol Implementations via Attribute-Based Communication. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (9465). Springer International Publishing, pp. 219-237. ISBN 978-3-319-25527-9 (2015) A Calculus for Attribute-based Communication
http://eprints.imtlucca.it/3566/
Alrahman, Yehia Abd and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco and Vigo, Roberto A Calculus for Attribute-based Communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, New York, USA pp. 1840-1845. ISBN 978-1-4503-3196-8. (2015) Domain-specific queries and Web search personalization: some investigations
http://eprints.imtlucca.it/3565/
Hoang, Van Tien and Spognardi, Angelo and Tiezzi, Francesco and Petrocchi, Marinella and De Nicola, Rocco Domain-specific queries and Web search personalization: some investigations. Working Paper arXiv (Submitted) CARMA: Collective Adaptive Resource-sharing Markovian Agents
http://eprints.imtlucca.it/3564/
Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillstone, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke CARMA: Collective Adaptive Resource-sharing Markovian Agents. Working Paper arXiv (Submitted) On the Power of Attribute-Based Communication
http://eprints.imtlucca.it/3563/
Abd Alrahman, Yehia and De Nicola, Rocco and Loreti, Michele On the Power of Attribute-Based Communication. In: Formal Techniques for Distributed Objects, Components, and Systems. 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr. Lecture Notes in Computer Science (9688). Springer, pp. 1-18. ISBN 978-3-319-39570-8 (2016) Dynamic SLAs for Clouds
http://eprints.imtlucca.it/3562/
Uriarte, Rafael Brundo and Tiezzi, Francesco and De Nicola, Rocco Dynamic SLAs for Clouds. In: Service-Oriented and Cloud Computing.5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science (9846). Springer, pp. 34-49. ISBN 978-3-319-44482-6 (2016) Replicating Data for Better Performances in X10
http://eprints.imtlucca.it/3561/
Andrić, Marina and De Nicola, Rocco and Lluch Lafuente, Alberto Replicating Data for Better Performances in X10. In: Semantics, Logics, and Calculi. Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science (9560). Springer, pp. 236-251. ISBN 978-3-319-27810-0 (2015) Multiparty Testing Preorders
http://eprints.imtlucca.it/3560/
De Nicola, Rocco and Melgratti, Hernán Multiparty Testing Preorders. In: Trustworthy Global Computing. 0th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science (9533). Springer International Publishing, Cham, pp. 16-31. ISBN 978-3-319-28766-9 (2016) Tuple Spaces Implementations and Their Efficiency
http://eprints.imtlucca.it/3506/
Buravlev, Vitaly and De Nicola, Rocco and Mezzina, Claudio Antares Tuple Spaces Implementations and Their Efficiency. In: Tuple Spaces Implementations and Their Efficiency : Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2. Lecture Notes in Computer Science (9686). Springer, pp. 51-66. ISBN 978-3-319-39518-0 (2016) The SCEL Language: Design, Implementation, Verification
http://eprints.imtlucca.it/3065/
De Nicola, Rocco and Latella, Diego and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Massink, Mieke and Morichetta, Andrea and Pugliese, Rosario and Tiezzi, Francesco and Vandin, Andrea The SCEL Language: Design, Implementation, Verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 3-71. ISBN 978-3-319-16309-3 (2015) Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni
http://eprints.imtlucca.it/2967/
Baldoni, Roberto and De Nicola, Rocco Il Futuro della Cyber Security in Italia. Un libro bianco per raccontare le principali sfide che il nostro Paese dovrà affrontare nei prossimi cinque anni. Consorzio Interuniversitario Nazionale per l'Informatica. ISBN 9788894137309 (2015) SLAC: A Formal Service-Level-Agreement Language for Cloud Computing
http://eprints.imtlucca.it/2941/
Uriarte, Rafael B. and Tiezzi, Francesco and De Nicola, Rocco SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. In: IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC), 2014, 8-11 December, 2014, London pp. 419-426. ISBN 978-1-4799-7881-6. (2014) Self-expression and Dynamic Attribute-Based Ensembles in SCEL
http://eprints.imtlucca.it/2940/
Cabri, Giacomo and Capodieci, Nicola and Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Tiezzi, Francesco and Zambonelli, Franco Self-expression and Dynamic Attribute-Based Ensembles in SCEL. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 147-163. ISBN 978-3-662-45233-2 (2014) Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations
http://eprints.imtlucca.it/2939/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014) Programming and Verifying Component Ensembles
http://eprints.imtlucca.it/2938/
De Nicola, Rocco and Lluch Lafuente, Alberto and Loreti, Michele and Morichetta, Andrea and Pugliese, Rosario and Senni, Valerio and Tiezzi, Francesco Programming and Verifying Component Ensembles. In: From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science (8415). Springer, pp. 69-83. ISBN 978-3-642-54847-5 (2014) Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction
http://eprints.imtlucca.it/2937/
Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science (8802). Springer, pp. 96-98. ISBN 978-3-662-45233-2 (2014) A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase
http://eprints.imtlucca.it/2936/
Bureš, Tomáš and De Nicola, Rocco and Gerostathopoulos, Ilias and Hoch, Nicklas and Kit, Michal and Koch, Nora and Monreale, Giacoma Valentina and Montanari, Ugo and Pugliese, Rosario and Serbedzija, Nikola and Wirsing, Martin and Zambonelli, Franco A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems (SASO), 9-13 September, 2013, Philadelphia, PA pp. 71-76. (2014) On Expressiveness and Behavioural Theory of Attribute-based Communication
http://eprints.imtlucca.it/2729/
Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted) A uniform definition of stochastic process calculi
http://eprints.imtlucca.it/2707/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. ACM Computing Surveys, 46 (1). pp. 1-35. ISSN 0360-0300 (2013) Relating strong behavioral equivalences for processes with nondeterminism and probabilities
http://eprints.imtlucca.it/2706/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014) Editor's Note
http://eprints.imtlucca.it/2705/
De Nicola, Rocco Editor's Note. Journal of Logical and Algebraic Methods in Programming, 83 (2). p. 83. ISSN 2352-2216 (2014) Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
http://eprints.imtlucca.it/2703/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015) Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
http://eprints.imtlucca.it/2704/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014) A homage to Martin Wirsing
http://eprints.imtlucca.it/2631/
De Nicola, Rocco and Hennicker, Rolf A homage to Martin Wirsing. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 1-12. ISBN 978-3-319-15545-6 (2015) CaSPiS: a calculus of sessions, pipelines and services
http://eprints.imtlucca.it/2626/
Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015) A formal approach to autonomic systems programming: the SCEL language
http://eprints.imtlucca.it/2625/
De Nicola, Rocco A formal approach to autonomic systems programming: the SCEL language. In: Formal Aspects of Component Software. Lecture Notes in Computer Science . Springer, pp. 24-28. ISBN 978-3-319-15317-9 (2015) Reputation-Based Composition of Social Web Services
http://eprints.imtlucca.it/2213/
Celestini, Alessandro and Costantino, Gianpiero and De Nicola, Rocco and Maamar, Zakaria and Martinelli, Fabio and Petrocchi, Marinella and Tiezzi, Francesco Reputation-Based Composition of Social Web Services. In: 28th International Conference on dvanced Information Networking and Applications (AINA). IEEE, pp. 735-742. ISBN 978-1-4799-3629-8 (2014) Dimming relations for the efficient analysis of concurrent systems via action abstraction
http://eprints.imtlucca.it/2212/
De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014) A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
http://eprints.imtlucca.it/2207/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013) Reasoning (on) service component ensembles in rewriting logic
http://eprints.imtlucca.it/2180/
Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014) A formal approach to autonomic systems programming: the SCEL Language
http://eprints.imtlucca.it/2117/
De Nicola, Rocco and Loreti, Michele and Pugliese, Rosario and Tiezzi, Francesco A formal approach to autonomic systems programming: the SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9 (2). pp. 1-29. ISSN 1556-4665 (2014) A Language-Based Approach to Autonomic Computing
http://eprints.imtlucca.it/2086/
De Nicola, Rocco and Ferrari, GianLuigi and Loreti, Michele and Pugliese, Rosario A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science (7542). Springer , pp. 25-48. ISBN 978-3-642-35887-6 (2013) Formalising adaptation patterns for autonomic ensembles
http://eprints.imtlucca.it/1851/
Cesari, Luca and De Nicola, Rocco and Pugliese, Rosario and Puviani, Mariachiara and Tiezzi, Francesco and Zambonelli, Franco Formalising adaptation patterns for autonomic ensembles. In: Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers. Lecture notes in computer science (8348). Springer, pp. 100-118. ISBN 978-3-319-07601-0 (2014) (edited by) Coordination Models and Languages
http://eprints.imtlucca.it/1834/
De Nicola, Rocco and Julien, Christine (edited by) Coordination Models and Languages. Lecture Notes in Computer Science, 7890 . Springer. ISBN 978-3-642-38493-6 (2013) Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
http://eprints.imtlucca.it/1655/
De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca Orchestrating Tuple-based Languages
http://eprints.imtlucca.it/1578/
De Nicola, Rocco and Margheri, Andrea and Tiezzi, Francesco Orchestrating Tuple-based Languages. In: Trustworthy Global Computing. Lecture Notes in Computer Science (7173). Springer, pp. 160-178. ISBN 978-3-642-30064-6 (2012) Specifying and analysing reputation systems with coordination languages
http://eprints.imtlucca.it/1571/
Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013) Network-aware evaluation environment for reputation systems
http://eprints.imtlucca.it/1569/
Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware evaluation environment for reputation systems. In: Network-Aware Evaluation Environment for Reputation Systems. IFIP Advances in Information and Communication Technology, 401 . Springer, pp. 231-238. ISBN 978-3-642-38323-6 (2013) Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
http://eprints.imtlucca.it/1553/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca Network-aware Evaluation Environment for Reputation Systems
http://eprints.imtlucca.it/1537/
Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
http://eprints.imtlucca.it/1523/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca CaSPiS: A Calculus of Sessions, Pipelines and Services
http://eprints.imtlucca.it/1493/
Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
http://eprints.imtlucca.it/1323/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca A uniform definition of stochastic process calculi
http://eprints.imtlucca.it/1322/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
http://eprints.imtlucca.it/1266/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012) Contractual Testing
http://eprints.imtlucca.it/1261/
Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished) Behavioral Equivalences
http://eprints.imtlucca.it/1073/
De Nicola, Rocco Behavioral Equivalences. In: Encyclopedia of Parallel Computing. Springer, pp. 120-127. ISBN 978-0-387-09765-7 (2011) Process Algebras
http://eprints.imtlucca.it/1072/
De Nicola, Rocco Process Algebras. In: Encyclopedia of Parallel Computing. Springer, pp. 1624-1636. ISBN 978-0-387-09765-7 (2011) SoSL: a service-oriented stochastic logic
http://eprints.imtlucca.it/910/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke SoSL: a service-oriented stochastic logic. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 447-466. ISBN 978-3-642-20400-5 (2011) Core calculi for service-oriented computing
http://eprints.imtlucca.it/909/
Caires, Luis and De Nicola, Rocco and Pugliese, Rosario and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi Core calculi for service-oriented computing. In: Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing. Lecture Notes in Computer Science (6582). Springer-Verlag, pp. 153-188. ISBN 978-3-642-20400-5 (2011) Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi
http://eprints.imtlucca.it/794/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011) Linear-Time and May-Testing in a Probabilistic Reactive Setting
http://eprints.imtlucca.it/420/
Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011) Three Logics for Branching Bisimulation (Extended Abstract)
http://eprints.imtlucca.it/378/
De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990) Net Theory and Application - Response
http://eprints.imtlucca.it/387/
De Nicola, Rocco Net Theory and Application - Response. In: IFIP Congress. North-Holland/IFIP, pp. 833-836. ISBN 0-444-70077-3 (1986) Communication Through Message Passing or Shared Memory: A Formal Comparison
http://eprints.imtlucca.it/396/
De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981) A Distributed Operational Semantics for CCS Based on Condition/Event Systems
http://eprints.imtlucca.it/384/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988) Testing Equivalence for Mobile Processes
http://eprints.imtlucca.it/364/
Boreale, Michele and De Nicola, Rocco Testing Equivalence for Mobile Processes. Information and Computation, 120 (2). pp. 279-303. ISSN 0890-5401 (1995) Interactive Mobile Agents in X-Klaim
http://eprints.imtlucca.it/349/
Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario and Ferrari, GianLuigi Interactive Mobile Agents in X-Klaim. In: Enabling Technologies: Infrastructure for Collaborative Enterprises, 1998. (WET ICE '98) Proceedings., Seventh IEEE International Workshops on. IEEE Computer Society, pp. 110-117. ISBN 0-8186-8751-7 (1998) Concurrency: Theory and Practice
http://eprints.imtlucca.it/359/
De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996) Basic Observables for Processes
http://eprints.imtlucca.it/353/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Basic Observables for Processes. In: Automata, Languages and Programming (ICALP 1997). Lecture Notes in Computer Science, 1256 . Springer, pp. 482-492. ISBN 3-540-63165-8 (1997) A Process Algebra Based on LINDA
http://eprints.imtlucca.it/356/
De Nicola, Rocco and Pugliese, Rosario A Process Algebra Based on LINDA. In: Coordination Languages and Models (COORDINATION 1996). Lecture Notes in Computer Science, 1061 . Springer, pp. 160-178. ISBN 3-540-61052-9 (1996) Locality Based Linda: Programming with Explicit Localities
http://eprints.imtlucca.it/354/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Locality Based Linda: Programming with Explicit Localities. In: TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer, pp. 712-726. ISBN 3-540-62781-2 (1997) Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
http://eprints.imtlucca.it/381/
De Nicola, Rocco and Inverardi, Paola and Nesi, Monica Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. In: Automatic Verification Methods for Finite State Systems. Lecture Notes in Computer Science, 407 . Springer, pp. 54-67. ISBN 3-540-52148-8 (1990) Mobile Applications in X-KLAIM
http://eprints.imtlucca.it/336/
Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Mobile Applications in X-KLAIM. In: WOA 2000 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. Atti di Congressi, 1195 . Pitagora Editrice Bologna, Parma, pp. 1-6. ISBN 88-371-1195-9 (2000) On Four Partial Ordering Semantics for a Process Calculus
http://eprints.imtlucca.it/360/
Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996) Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures
http://eprints.imtlucca.it/357/
Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996) Possible Worlds for Process Algebras
http://eprints.imtlucca.it/347/
De Nicola, Rocco and Veglioni, Simone Possible Worlds for Process Algebras. In: CONCUR '98 Concurrency Theory. Lecture Notes in Computer Science, 1466 . Springer, pp. 179-193. ISBN 3-540-64896-8 (1998) An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
http://eprints.imtlucca.it/370/
De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993) Testing Semantics of Asynchronous Distributed Programs
http://eprints.imtlucca.it/358/
De Nicola, Rocco and Pugliese, Rosario Testing Semantics of Asynchronous Distributed Programs. In: Analysis and Verification of Multiple-Agent Languages (LOMAPS 1996). Lecture Notes in Computer Science, 1192 . Springer, pp. 320-344. ISBN 3-540-62503-8 (1997) A Completeness Theorem for Nondeterministic Kleene Algebras
http://eprints.imtlucca.it/369/
De Nicola, Rocco and Labella, Anna A Completeness Theorem for Nondeterministic Kleene Algebras. In: Mathematical Foundations of Computer Science 1994. Lecture Notes in Computer Science, 841 . Springer, pp. 536-545. ISBN 3-540-58338-6 (1994) Three Logics for Branching Bisimulation
http://eprints.imtlucca.it/365/
De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation. J. ACM, 42 (2). pp. 458-487. ISSN 0004-5411 (1995) Fully Abstract Models for Nondeterministic Regular Expressions
http://eprints.imtlucca.it/363/
Corradini, Flavio and De Nicola, Rocco and Labella, Anna Fully Abstract Models for Nondeterministic Regular Expressions. In: CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science, 962 . Springer, pp. 130-144. ISBN 3-540-60218-6 (1995) CCS is an (Augmented) Contact Free C/E System
http://eprints.imtlucca.it/389/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986) Models of Nondeterministic Regular Expressions
http://eprints.imtlucca.it/346/
Corradini, Flavio and De Nicola, Rocco and Labella, Anna Models of Nondeterministic Regular Expressions. Journal of Computer and System Sciences, 59 (3). pp. 412-449. ISSN 0022-0000 (1999) Tree morphisms and bisimulations
http://eprints.imtlucca.it/350/
De Nicola, Rocco and Labella, Anna Tree morphisms and bisimulations. Electronic Notes in Theoretical Computer Science, 18. pp. 46-64. ISSN 1571-0661 (1998) Asynchronous Observations of Processes
http://eprints.imtlucca.it/348/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Asynchronous Observations of Processes. In: Foundations of Software Science and Computation Structures (FoSSaCS 1998). Lecture Notes in Computer Science, 1378 . Springer, pp. 95-109. ISBN 3-540-64300-1 (1998) A Process Algebraic View of Input/Output Automata
http://eprints.imtlucca.it/366/
De Nicola, Rocco and Segala, Roberto A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138 (2). pp. 391-423. ISSN 0304-3975 (1995) Universal Axioms for Bisimulations
http://eprints.imtlucca.it/371/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993) Extensional Equivalences for Transition Systems
http://eprints.imtlucca.it/386/
De Nicola, Rocco Extensional Equivalences for Transition Systems. Acta Informatica, 24 (2). pp. 211-237. ISSN 0001-5903 (1987) CCS without tau's
http://eprints.imtlucca.it/385/
De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987) Observational Logics and Concurrency Models
http://eprints.imtlucca.it/377/
De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990) A Partial Ordering Semantics for CCS
http://eprints.imtlucca.it/380/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990) Distribution and Locality of Concurrent Systems
http://eprints.imtlucca.it/368/
Corradini, Flavio and De Nicola, Rocco Distribution and Locality of Concurrent Systems. In: Automata, Languages and Programming (ICALP 1994). Lecture Notes in Computer Science, 820 . Springer, pp. 154-165. ISBN 3-540-58201-0 (1994) An action based framework for verifying logical and behavioural properties of concurrent systems
http://eprints.imtlucca.it/374/
De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992) Verifying hardware components within JACK
http://eprints.imtlucca.it/362/
Fantechi, Alessandro and De Nicola, Rocco and Gnesi, Stefania and Larosa, Salvatore and Ristori, Gioia Verifying hardware components within JACK. In: Correct Hardware Design and Verification Methods (CHARME 1995). Lecture Notes in Computer Science, 987 . Springer, pp. 246-260. ISBN 3-540-60385-9 (1995) Back and Forth Bisimulations
http://eprints.imtlucca.it/376/
De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990) Coordinating Mobile Agents via Blackboards and Access Rights
http://eprints.imtlucca.it/352/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Coordinating Mobile Agents via Blackboards and Access Rights. In: Coordination Languages and Models (COORDINATION 1997). Lecture Notes in Computer Science, 1282 . Springer, pp. 220-237. ISBN 3-540-63383-9 (1997) KLAIM: A Kernel Language for Agents Interaction and Mobility
http://eprints.imtlucca.it/351/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998) Locality Based Semantics for Process Algebras
http://eprints.imtlucca.it/355/
Corradini, Flavio and De Nicola, Rocco Locality Based Semantics for Process Algebras. Acta Informatica, 34 (4). pp. 291-324. ISSN 0001-5903 (1997) Proof Techniques for Cryptographic Processes
http://eprints.imtlucca.it/342/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. In: Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99). IEEE Computer Society, pp. 157-166. (1999) Types for access control
http://eprints.imtlucca.it/338/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario and Venneri, Betti Types for access control. Theoretical Computer Science, 240 (1). pp. 215-254. ISSN 0304-3975 (2000) A finite axiomatization of nondeterministic regular expressions
http://eprints.imtlucca.it/344/
Corradini, Flavio and De Nicola, Rocco and Labella, Anna A finite axiomatization of nondeterministic regular expressions. RAIRO - Theoretical Informatics and Applications, 33 (4/5). pp. 447-466. (1999) Linda-based applicative and imperative process algebras
http://eprints.imtlucca.it/337/
De Nicola, Rocco and Pugliese, Rosario Linda-based applicative and imperative process algebras. Theoretical Computer Science, 238 (1-2). pp. 389-437. ISSN 0304-3975 (2000) Process Algebraic Analysis of Cryptographic Protocols
http://eprints.imtlucca.it/335/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Process Algebraic Analysis of Cryptographic Protocols. In: Formal Techniques for Distributed System Development (FORTE 2000). IFIP Conference Proceedings, 183 . Kluwer, pp. 375-392. ISBN 0-7923-7968-3 (2000) Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
http://eprints.imtlucca.it/334/
De Nicola, Rocco and Pugliese, Rosario and Rowstron, Antony I. T. Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2000). Lecture Notes in Computer Science, 1906 . Springer, pp. 66-80. ISBN 3-540-41020-1 (2000) Divergence in testing and readiness semantics
http://eprints.imtlucca.it/331/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Divergence in testing and readiness semantics. Theoretical Computer Science, 266 (1-2). pp. 237-248. ISSN 0304-3975 (2001) A Symbolic Semantics for the pi-Calculus
http://eprints.imtlucca.it/361/
Boreale, Michele and De Nicola, Rocco A Symbolic Semantics for the pi-Calculus. Information and Computation, 126 (1). pp. 34-52. ISSN 0890-5401 (1996) Formalizing Properties of Mobile Agent Systems
http://eprints.imtlucca.it/320/
Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formalizing Properties of Mobile Agent Systems. In: Coordination Models and Languages (COORDINATION 2002). Lecture Notes in Computer Science, 2315 . Springer, pp. 72-87. ISBN 3-540-43410-0 (2002) Nondeterministic regular expressions as solutions of equational systems
http://eprints.imtlucca.it/319/
De Nicola, Rocco and Labella, Anna Nondeterministic regular expressions as solutions of equational systems. Theoretical Computer Science, 302 (1-3). pp. 179-189. ISSN 0304-3975 (2003) The Klaim Project: Theory and Practice
http://eprints.imtlucca.it/317/
Bettini, Lorenzo and Bono, Viviana and De Nicola, Rocco and Ferrari, GianLuigi and Gorla, Daniele and Loreti, Michele and Moggi, Eugenio and Pugliese, Rosario and Tuosto, Emilio and Venneri, Betti The Klaim Project: Theory and Practice. In: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. Lecture Notes in Computer Science, 2874 . Springer, pp. 88-150. ISBN 3-540-20583-7 (2003) Programming Access Control: The KLAIM Experience
http://eprints.imtlucca.it/333/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Programming Access Control: The KLAIM Experience. In: CONCUR 2000 — Concurrency Theory. Lecture Notes in Computer Science, 1877 . Springer, pp. 48-65. ISBN 3-540-67897-2 (2000) Testing Equivalence for Processes
http://eprints.imtlucca.it/395/
De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983) Types as Specifications of Access Policies
http://eprints.imtlucca.it/343/
De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario Types as Specifications of Access Policies. In: Secure Internet Programming. Lecture Notes in Computer Science, 1603 . Springer, pp. 118-146. ISBN 3-540-66130-1 (1999) A Complete Set of Axioms for a Theory of Communicating Sequential Processes
http://eprints.imtlucca.it/394/
De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983) A Theory of "May" Testing for Asynchronous Languages
http://eprints.imtlucca.it/341/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario A Theory of "May" Testing for Asynchronous Languages. In: Foundations of Software Science and Computation Structures (FoSSaCS 1999). Lecture Notes in Computer Science, 1578 . Springer, pp. 165-179. ISBN 3-540-65719-3 (1999) Graded Modalities and Resource Bisimulation
http://eprints.imtlucca.it/340/
Corradini, Flavio and De Nicola, Rocco and Labella, Anna Graded Modalities and Resource Bisimulation. In: FSTTCS. Lecture Notes in Computer Science, 1738 . Springer, pp. 381-393. ISBN 3-540-66836-5 (1999) Coordination and Access Control of Mobile Agents
http://eprints.imtlucca.it/339/
De Nicola, Rocco Coordination and Access Control of Mobile Agents. In: Coordination Languages and Models (COORDINATION 1999). Lecture Notes in Computer Science, 1594 . Springer, pp. 1-2. ISBN 3-540-65836-X (1999) Mobile Distributed Programming in X-Klaim
http://eprints.imtlucca.it/309/
Bettini, Lorenzo and De Nicola, Rocco Mobile Distributed Programming in X-Klaim. In: Formal Methods for Mobile Computing. Lecture Notes in Computer Science, 3465 . Springer, pp. 29-68. ISBN 3-540-25697-0 (2005) Languages and Process Calculi for Network Aware Programming - Short Summary -
http://eprints.imtlucca.it/306/
De Nicola, Rocco Languages and Process Calculi for Network Aware Programming - Short Summary -. In: Theoretical Aspects of Computing (ICTAC 2005). Lecture Notes in Computer Science, 3722 . Springer, pp. 49-52. ISBN 3-540-29107-5 (2005) A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
http://eprints.imtlucca.it/303/
Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Loreti, Michele A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Distributed Applications and Interoperable Systems (DAIS 2005). Lecture Notes in Computer Science, 3543 . Springer, pp. 181-193. ISBN 3-540-26262-8 (2005) A Process Calculus for QoS-Aware Applications
http://eprints.imtlucca.it/302/
De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Process Calculus for QoS-Aware Applications. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 33-48. ISBN 3-540-25630-X (2005) Translating Strong Mobility into Weak Mobility
http://eprints.imtlucca.it/327/
Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001) Klava: a Java package for distributed and mobile applications
http://eprints.imtlucca.it/326/
Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario Klava: a Java package for distributed and mobile applications. Software: Practice and Experience, 32 (14). pp. 1365-1394. ISSN 1097-024X (2002) An Equational Axiomatization of Bisimulation over Regular Expressions
http://eprints.imtlucca.it/325/
Corradini, Flavio and De Nicola, Rocco and Labella, Anna An Equational Axiomatization of Bisimulation over Regular Expressions. Journal of Logic and Computation, 12 (2). pp. 301-320. ISSN 0955-792X (2002) AGILE: Software Architecture for Mobility
http://eprints.imtlucca.it/323/
Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003) Software update via mobile agent based programming
http://eprints.imtlucca.it/322/
Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Software update via mobile agent based programming. In: Proceedings of the 2002 ACM symposium on Applied computing (SAC '02). ACM, pp. 32-36. (2002) Proof Techniques for Cryptographic Processes
http://eprints.imtlucca.it/329/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Proof Techniques for Cryptographic Processes. SIAM Journal on Computing., 31 (3). pp. 947-986. ISSN 0097-5397 (2001) Basic Observables for Probabilistic May Testing
http://eprints.imtlucca.it/288/
Palmeri, Maria Carla and De Nicola, Rocco and Massink, Mieke Basic Observables for Probabilistic May Testing. In: Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). IEEE Computer Society, pp. 189-200. ISBN 0-7695-2883-X (2007) Multiple-Labelled Transition Systems for nominal calculi and their logics
http://eprints.imtlucca.it/283/
De Nicola, Rocco and Loreti, Michele Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science, 18 (1). pp. 107-143. ISSN 0960-1295 (2008) Multi labelled transition systems: a semantic framework for nominal calculi
http://eprints.imtlucca.it/289/
De Nicola, Rocco and Loreti, Michele Multi labelled transition systems: a semantic framework for nominal calculi. Electronic Notes in Theoretical Computer Science, 169. pp. 133-146. ISSN 1571-0661 (2007) XKlaim and Klava: Programming Mobile Code
http://eprints.imtlucca.it/328/
Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario XKlaim and Klava: Programming Mobile Code. Electronic Notes in Theoretical Computer Science, 62. pp. 24-37. ISSN 1571-0661 (2002) Formal modeling and quantitative analysis of KLAIM-based mobile systems
http://eprints.imtlucca.it/308/
De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005) A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
http://eprints.imtlucca.it/321/
Bettini, Lorenzo and De Nicola, Rocco A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Scientific Engineering for Distributed Java Applications (FIDJI 2002). Lecture Notes in Computer Science, 2604 . Springer, pp. 175-184. ISBN 3-540-00679-6 (2002) Trace and Testing Equivalence on Asynchronous Processes
http://eprints.imtlucca.it/324/
Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario Trace and Testing Equivalence on Asynchronous Processes. Information and Computation, 172 (2). pp. 139-164. ISSN 0890-5401 (2002) A Modal Logic for KLAIM
http://eprints.imtlucca.it/332/
De Nicola, Rocco and Loreti, Michele A Modal Logic for KLAIM. In: Algebraic Methodology and Software Technology (AMAST 2000). Lecture Notes in Computer Science, 1816 . Springer, pp. 339-354. ISBN 3-540-67530-2 (2000) Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
http://eprints.imtlucca.it/330/
Chen, Xiao Jun and De Nicola, Rocco Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science, 254 (1-2). pp. 337-361. ISSN 0304-3975 (2001) Action versus State based Logics for Transition Systems
http://eprints.imtlucca.it/379/
De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990) A Formal Basis for Reasoning on Programmable QoS
http://eprints.imtlucca.it/318/
De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004) Partial orderings descriptions and observations of nondeterministic concurrent processes
http://eprints.imtlucca.it/383/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988) SENSORIA Process Calculi for Service-Oriented Computing
http://eprints.imtlucca.it/294/
Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006) Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
http://eprints.imtlucca.it/316/
Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Automated Software Engineering, 11 (3). pp. 245-288. ISSN 0928-8910 (2004) Global Computing in a Dynamic Network of Tuple Spaces
http://eprints.imtlucca.it/301/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global Computing in a Dynamic Network of Tuple Spaces. In: Coordination Models and Languages (COORDINATION 2005). Lecture Notes in Computer Science, 3454 . Springer, pp. 157-172. ISBN 3-540-25630-X (2005) Pattern Matching over a Dynamic Network of Tuple Spaces
http://eprints.imtlucca.it/304/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Pattern Matching over a Dynamic Network of Tuple Spaces. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005). Lecture Notes in Computer Science, 3535 . Springer, pp. 1-14. ISBN 3-540-26181-8 (2005) Session Centered Calculi for Service Oriented Computing
http://eprints.imtlucca.it/287/
De Nicola, Rocco Session Centered Calculi for Service Oriented Computing. In: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I. World Scientific, pp. 6-10. ISBN 981-277-098-4 (2007) Action and State-based Logics for Process Algebras
http://eprints.imtlucca.it/375/
De Nicola, Rocco Action and State-based Logics for Process Algebras. In: CONCUR 1991. Lecture Notes in Computer Science, 527 . Springer, pp. 20-22. ISBN 3-540-54430-5 (1991) Semantic subtyping for the pi-calculus
http://eprints.imtlucca.it/285/
Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008) TAPAs: A Tool for the Analysis of Process Algebras
http://eprints.imtlucca.it/284/
Calzolai, Francesco and De Nicola, Rocco and Loreti, Michele and Tiezzi, Francesco TAPAs: A Tool for the Analysis of Process Algebras. In: Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, 1 . Springer, pp. 54-70. ISBN 978-3-540-89286-1 (2008) Provably Correct Implementations of Services
http://eprints.imtlucca.it/282/
Bruni, Roberto and De Nicola, Rocco and Loreti, Michele and Mezzina, Leonardo Gaetano Provably Correct Implementations of Services. In: Trustworthy Global Computing (TGC 2008). Lecture Notes in Computer Science (5474). Springer, pp. 69-86. ISBN 978-3-642-00944-0 (2009) Sessions and Pipelines for Structured Service Programming
http://eprints.imtlucca.it/281/
Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele Sessions and Pipelines for Structured Service Programming. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008). Lecture Notes in Computer Science, 5051 . Springer, pp. 19-38. ISBN 978-3-540-68862-4 (2008) Ugo Montanari in a Nutshell
http://eprints.imtlucca.it/280/
De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008) From Flow Logic to Static Type Systems for Coordination Languages
http://eprints.imtlucca.it/278/
De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to Static Type Systems for Coordination Languages. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 100-116. ISBN 978-3-540-68264-6 (2008) Implementing Session Centered Calculi
http://eprints.imtlucca.it/279/
Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele Implementing Session Centered Calculi. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 17-32. ISBN 978-3-540-68264-6 (2008) MarCaSPiS: a Markovian Extension of a Calculus for Services
http://eprints.imtlucca.it/276/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke MarCaSPiS: a Markovian Extension of a Calculus for Services. Electronic Notes in Theoretical Computer Science, 229 (4). pp. 11-26. ISSN 1571-0661 (2009) Basic observables for a calculus for global computing
http://eprints.imtlucca.it/291/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic observables for a calculus for global computing. Information and Computation, 205 (10). pp. 1491-1525. ISSN 0890-5401 (2007) Implementing a distributed mobile calculus using the IMC framework
http://eprints.imtlucca.it/290/
Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele Implementing a distributed mobile calculus using the IMC framework. Electronic Notes in Theoretical Computer Science, 181. pp. 63-79. ISSN 1571-0661 (2007) Semantic Subtyping for the p-Calculus
http://eprints.imtlucca.it/307/
Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005) Basic Observables for a Calculus for Global Computing
http://eprints.imtlucca.it/305/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Basic Observables for a Calculus for Global Computing. In: Automata, Languages and Programming (ICALP 2005). Lecture Notes in Computer Science, 3580 . Springer, pp. 1226-1238. ISBN 3-540-27580-0 (2005) Rate-Based Transition Systems for Stochastic Process Calculi
http://eprints.imtlucca.it/275/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke Rate-Based Transition Systems for Stochastic Process Calculi. In: Automata, Languages and Programming (ICALP (2) 2009). Lecture Notes in Computer Science, 5556 . Springer, pp. 435-446. ISBN 978-3-642-02929-5 (2009) On a Uniform Framework for the Definition of Stochastic Process Languages
http://eprints.imtlucca.it/274/
De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke On a Uniform Framework for the Definition of Stochastic Process Languages. In: Formal Methods for Industrial Critical Systems (FMICS 2009). Lecture Notes in Computer Science, 5825 . Springer, pp. 9-25. ISBN 978-3-642-04569-1 (2009) Towards a logic for performance and mobility
http://eprints.imtlucca.it/296/
De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006) SCC: A Service Centered Calculus
http://eprints.imtlucca.it/295/
Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006) Testing Equivalences for Event Structures
http://eprints.imtlucca.it/388/
Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986) Testing Equivalences for Processes
http://eprints.imtlucca.it/393/
Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984) Models and Operators for Nondeterministic Processes
http://eprints.imtlucca.it/392/
De Nicola, Rocco Models and Operators for Nondeterministic Processes. In: Mathematical Foundations of Computer Science (MFCS 1984). Lecture Notes in Computer Science, 176 . Springer, pp. 433-442. ISBN 3-540-13372-0 (1984) Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
http://eprints.imtlucca.it/391/
De Nicola, Rocco Two Complete Axiom Systems for a Theory of Communicating Sequential Processes. Information and Control, 64 (1-3). pp. 136-172. ISSN 0019-9958 (1985) Partial ordering derivations for CCS
http://eprints.imtlucca.it/390/
Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985) Testing Equivalences and Fully Abstract Models for Communicating Processes
http://eprints.imtlucca.it/397/
De Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985) A modal logic for mobile agents
http://eprints.imtlucca.it/315/
Loreti, Michele and De Nicola, Rocco A modal logic for mobile agents. ACM Transactions on Computational Logic , 5 (1). pp. 79-128. ISSN 1557-945X (2004) A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
http://eprints.imtlucca.it/314/
Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. In: Global Computing. Lecture Notes in Computer Science, 3267 . Springer, pp. 179-207. ISBN 3-540-24101-9 (2004) On the expressive power of KLAIM-based calculi
http://eprints.imtlucca.it/299/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the expressive power of KLAIM-based calculi. Theoretical Computer Science, 356 (3). pp. 387-421. ISSN 0304-3975 (2006) Confining data and processes in global computing applications
http://eprints.imtlucca.it/298/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Confining data and processes in global computing applications. Science of Computer Programming, 63 (1). pp. 57-87. ISSN 0167-6423 (2006) From Process Calculi to Klaim and Back
http://eprints.imtlucca.it/297/
De Nicola, Rocco From Process Calculi to Klaim and Back. Electronic Notes in Theoretical Computer Science, 162. pp. 159-162. ISSN 1571-0661 (2006) MoMo: A Modal Logic for Reasoning About Mobility
http://eprints.imtlucca.it/313/
De Nicola, Rocco and Loreti, Michele MoMo: A Modal Logic for Reasoning About Mobility. In: Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, 3657 . Springer, pp. 95-119. ISBN 3-540-29131-8 (2004) On the Expressive Power of Klaim-based Calculi
http://eprints.imtlucca.it/311/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128 (2). pp. 117-130. ISSN 1571-0661 (2005) Types in concurrency
http://eprints.imtlucca.it/310/
De Nicola, Rocco and Sangiorgi, Davide Types in concurrency. Acta Informatica, 42 (2-3). pp. 79-81. ISSN 0001-5903 (2005) From Flow Logic to static type systems for coordination languages
http://eprints.imtlucca.it/273/
De Nicola, Rocco and Gorla, Daniele and Hansen, Rene Rydhof and Nielson, Flemming and Nielson, Hanne Riis and Probst, Christian W. and Pugliese, Rosario From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75 (6). pp. 376-397. ISSN 0167-6423 (2010) Tree-functors, determinacy and bisimulations
http://eprints.imtlucca.it/272/
De Nicola, Rocco and Gorla, Daniele and Labella, Anna Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science, 20 (3). pp. 319-358. ISSN 0960-1295 (2010) Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
http://eprints.imtlucca.it/271/
Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010) Model checking mobile stochastic logic
http://eprints.imtlucca.it/293/
De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007) Global computing in a dynamic network of tuple spaces
http://eprints.imtlucca.it/292/
De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario Global computing in a dynamic network of tuple spaces. Science of Computer Programming, 64 (2). pp. 187-204. ISSN 0167-6423 (2007)