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
    4. Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
      Pages 293-310 Open Access
  6. Category Theory and Quantum Control

    1. Front Matter
      Pages 311-311
    2. Sergey Goncharov, Lutz Schröder
      Pages 313-330 Open Access
    3. Ana Sokolova, Harald Woracek
      Pages 331-347 Open Access
    4. Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
      Pages 348-364 Open Access
  7. Quantitative Models

    1. Front Matter
      Pages 365-365
    2. Stéphane Le Roux, Guillermo A. Pérez
      Pages 367-383 Open Access
    3. Pedro R. D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
      Pages 384-402 Open Access
    4. Hugo Bazille, Eric Fabre, Blaise Genest
      Pages 403-419 Open Access
    5. Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
      Pages 420-437 Open Access
  8. Logics and Equational Theories

    1. Front Matter
      Pages 439-439
    2. Simon Docherty, David Pym
      Pages 441-458 Open Access
    3. Abbas Edalat, Mehrdad Maleki
      Pages 459-475 Open Access
    4. Stéphane Demri, Étienne Lozes, Alessio Mansutti
      Pages 476-493 Open Access
  9. Graphs and Automata

    1. Front Matter
      Pages 511-511
    2. Guillaume Rabusseau
      Pages 513-529 Open Access
    3. Patricia Bouyer
      Pages 530-547 Open Access
    4. Sławomir Lasota, Radosław Piórkowski
      Pages 548-564 Open Access
    5. Thomas Genet, Timothée Haudebourg, Thomas Jensen
      Pages 565-582 Open Access
  10. Back Matter
    Pages 583-583

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

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-89365-5
  • Online ISBN 978-3-319-89366-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site