Skip to main content
SpringerLink
Log in
Book cover

Models, Languages, and Tools for Concurrent and Distributed Programming

Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

  • Book
  • © 2019

Overview

Editors:
  1. Michele Boreale

    1. Department of Statistics, Computer Science, Applications, University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Flavio Corradini

    1. School of Science and Technology, University of Camerino, Camerino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michele Loreti

    1. School of Science and Technology, University of Camerino, Camerino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Rosario Pugliese

    1. Department of Statistics, Computer Science, Applications, University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Written by well-known experts
  • High quality selected papers
  • HonorarHonorary volume dedicated to Rocco De Nicola on occasion to his 65 birthday

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11665)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Homage from Friends

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Tuscany to Scotland and Back

      • Ugo Montanari
      Pages 3-6

    3. Building International Doctoral Schools in Computer Science in Italy, De Nicola’s Way

      • Luca Aceto, Gianlorenzo D’Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
      Pages 7-12

  3. Observational Semantics

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. An Equational Characterisation of the Must Testing Pre-order for Regular Processes

      • Matthew Hennessy
      Pages 15-27

    3. Testing Equivalence vs. Runtime Monitoring

      • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
      Pages 28-44

    4. Reward Testing Equivalences for Processes

      • Rob van Glabbeek
      Pages 45-70

    5. Playing with Bisimulation in Erlang

      • Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
      Pages 71-91

    6. Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults

      • Marco Bernardo
      Pages 92-111

  4. Coordination Models and Languages

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. X-Klaim Is Back

      • Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi
      Pages 115-135

    3. A Distributed Ledger Technology Based on Shared Write-Once Objects

      • Eva Maria Kuehn
      Pages 136-151

    4. Testing for Coordination Fidelity

      • Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
      Pages 152-169

    5. Data-Driven Choreographies à la Klaim

      • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto
      Pages 170-190

    6. Different Glasses to Look into the Three Cs: Component, Connector, Coordination

      • Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli
      Pages 191-216

  5. Logics and Types

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    2. From the Archives of the Formal Methods and Tools Lab

      • Stefania Gnesi, Maurice H. ter Beek
      Pages 219-235

    3. Featherweight Scribble

      • Rumyana Neykova, Nobuko Yoshida
      Pages 236-259

    4. Embedding RCC8D in the Collective Spatial Logic CSLCS

      • Vincenzo Ciancia, Diego Latella, Mieke Massink
      Pages 260-277
Back to top

Keywords

About this book

This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.
The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.

Editors and Affiliations

  • Department of Statistics, Computer Science, Applications, University of Florence, Florence, Italy

    Michele Boreale, Rosario Pugliese

  • School of Science and Technology, University of Camerino, Camerino, Italy

    Flavio Corradini, Michele Loreti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation