Skip to main content
SpringerLink
Log in
Book cover

Semantics, Logics, and Calculi

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

  • Book
  • © 2016

Overview

Editors:
  1. Christian W. Probst

    1. Technical University of Denmark, Kongens Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chris Hankin

    1. Imperial College London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. René Rydhof Hansen

    1. Aalborg University, Aalborg, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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
  • Includes supplementary material: sn.pub/extras

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

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 (16 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Effect Systems Revisited—Control-Flow Algebra and Semantics

    • Alan Mycroft, Dominic Orchard, Tomas Petricek
    Pages 1-32

  3. Last Mile’s Resources

    • Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
    Pages 33-53

  4. Formal Modelling and Analysis of Socio-Technical Systems

    • Christian W. Probst, Florian Kammüller, René Rydhof Hansen
    Pages 54-73

  5. Static Timing Analysis – What is Special?

    • Jan Reineke, Reinhard Wilhelm
    Pages 74-87

  6. An Automata-Based Approach to Trace Partitioned Abstract Interpretation

    • Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
    Pages 88-110

  7. Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression

    • Alessandra Di Pierro, Herbert Wiklicky
    Pages 111-139

  8. Abstract Interpretation of PEPA Models

    • Stephen Gilmore, Jane Hillston, Natalia Zoń
    Pages 140-158

  9. Static Analysis of Parity Games: Alternating Reachability Under Parity

    • Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
    Pages 159-177

  10. Game Theory and Industrial Control Systems

    • Chris Hankin
    Pages 178-190

  11. Playing with Abstraction and Representation

    • Bernhard Steffen, Malte Isberner, Marc Jasper
    Pages 191-213

  12. Schedulers are no Prophets

    • Arnd Hartmanns, Holger Hermanns, Jan Krčál
    Pages 214-235

  13. Replicating Data for Better Performances in X10

    • Marina Andrić, Rocco De Nicola, Alberto Lluch Lafuente
    Pages 236-251

  14. Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically

    • David A. Schmidt
    Pages 252-271

  15. Enhancing Top-Down Solving with Widening and Narrowing

    • Kalmer Apinis, Helmut Seidl, Vesal Vojdani
    Pages 272-288

  16. Modal Intersection Types, Two-Level Languages, and Staged Synthesis

    • Fritz Henglein, Jakob Rehof
    Pages 289-312

  17. Rule Formats for Bounded Nondeterminism in Structural Operational Semantics

    • Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
    Pages 313-343

  18. Back Matter

    Pages 345-345
    Download chapter PDF
Back to top

Keywords

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. 

Reviews

“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)

Editors and Affiliations

  • Technical University of Denmark, Kongens Lyngby, Denmark

    Christian W. Probst

  • Imperial College London, London, United Kingdom

    Chris Hankin

  • Aalborg University, Aalborg, Denmark

    René Rydhof Hansen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation