© 2016

Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

  • Christian W. Probst
  • Chris Hankin
  • René Rydhof Hansen
  • Contains refereed papers dedicated to Hanne Riis Nielson and Flemming Nielson and to their work

  • Features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life

  • Covers a large variety of topics including calculi with functional, imperative, object-oriented, concurrent, distributed, and mobile features; semantics, and logics


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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9560)

Table of contents

  1. Front Matter
    Pages I-X
  2. Alan Mycroft, Dominic Orchard, Tomas Petricek
    Pages 1-32
  3. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
    Pages 33-53
  4. Christian W. Probst, Florian Kammüller, René Rydhof Hansen
    Pages 54-73
  5. Jan Reineke, Reinhard Wilhelm
    Pages 74-87
  6. Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
    Pages 88-110
  7. Stephen Gilmore, Jane Hillston, Natalia Zoń
    Pages 140-158
  8. Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
    Pages 159-177
  9. Chris Hankin
    Pages 178-190
  10. Bernhard Steffen, Malte Isberner, Marc Jasper
    Pages 191-213
  11. Arnd Hartmanns, Holger Hermanns, Jan Krčál
    Pages 214-235
  12. Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente
    Pages 236-251
  13. Kalmer Apinis, Helmut Seidl, Vesal Vojdani
    Pages 272-288
  14. Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
    Pages 313-343
  15. Back Matter
    Pages 345-345

About this book


This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.

The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016. 


Formal modeling Game theory Probabilistic abstract interpretation Structural operational semantics Trace semantics Calculi Industrial control systems Labeled transition systems Linear regression Logics Modal intersection types Representation Scheduling Semantics Socio-technical systems Staged synthesis Static program analysis Static timing analysis Top-down solving Two-level languages

Editors and affiliations

  • Christian W. Probst
    • 1
  • Chris Hankin
    • 2
  • René Rydhof Hansen
    • 3
  1. 1.Technical University of DenmarkKongens LyngbyDenmark
  2. 2.Imperial College LondonLondonUnited Kingdom
  3. 3.Aalborg UniversityAalborgDenmark

Bibliographic information

Industry Sectors
IT & Software


“The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons’ work. … The overall quality is excellent. The variety of topics touched is quite broad … .” (Jacques Carette, Computing Reviews, April, 2016)