© 2018

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

  • Christel Baier
  • Ugo Dal Lago
Open Access
Conference proceedings
FoSSaCS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Semantics

    1. Front Matter
      Pages 1-1
    2. Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
      Pages 3-19 Open Access
    3. Guilhem Jaber, Nikos Tzevelekos
      Pages 20-38 Open Access
    4. Clément Jacq, Paul-André Melliès
      Pages 39-70 Open Access
    5. Marco Devesas Campos, Paul Blain Levy
      Pages 71-87 Open Access
  3. Linearity

    1. Front Matter
      Pages 89-89
    2. Ornela Dardha, Simon J. Gay
      Pages 91-109 Open Access
    3. Bernardo Toninho, Nobuko Yoshida
      Pages 128-145 Open Access
    4. Gabriel Scherer, Max New, Nick Rioux, Amal Ahmed
      Pages 146-162 Open Access
  4. Concurrency

    1. Front Matter
      Pages 163-163
    2. Paolo Baldan, Tommaso Padoan
      Pages 165-182 Open Access
    3. Rob van Glabbeek
      Pages 183-202 Open Access
    4. Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
      Pages 203-220 Open Access
    5. Xinxin Liu, Tingting Yu, Wenhui Zhang
      Pages 221-237 Open Access
  5. Lambda-Calculi and Types

    1. Front Matter
      Pages 239-239
    2. Delia Kesner, Alejandro Ríos, Andrés Viso
      Pages 241-257 Open Access
    3. Ranald Clouston
      Pages 258-275 Open Access

About these proceedings


This book is Open Access under a CC BY licence.


artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification

Editors and affiliations

  1. 1.TU Dresden DresdenGermany
  2. 2.Università di BolognaBolognaItaly

Bibliographic information