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. FabOpen image in new windowous Interoperability for ML and a Linear Language
      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

Introduction

This book is Open Access under a CC BY licence.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-89366-2
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89365-5
  • Online ISBN 978-3-319-89366-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book