Skip to main content
  • Conference proceedings
  • Open Access
  • © 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

Editors:

(view affiliations)

Conference proceedings info: FoSSaCS 2018.

Buying options

Softcover Book
USD 59.99
Price excludes VAT (USA)

Table of contents (31 papers)

  1. Front Matter

    Pages I-XV
  2. Semantics

    1. Front Matter

      Pages 1-1
    2. Non-angelic Concurrent Game Semantics

      • Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
      Pages 3-19Open Access
    3. A Trace Semantics for System F Parametric Polymorphism

      • Guilhem Jaber, Nikos Tzevelekos
      Pages 20-38Open Access
    4. Categorical Combinatorics for Non Deterministic Strategies on Simple Games

      • Clément Jacq, Paul-André Melliès
      Pages 39-70Open Access
    5. A Syntactic View of Computational Adequacy

      • Marco Devesas Campos, Paul Blain Levy
      Pages 71-87Open Access
  3. Linearity

    1. Front Matter

      Pages 89-89
    2. A New Linear Logic for Deadlock-Free Session-Typed Processes

      • Ornela Dardha, Simon J. Gay
      Pages 91-109Open Access
    3. Depending on Session-Typed Processes

      • Bernardo Toninho, Nobuko Yoshida
      Pages 128-145Open Access
    4. Fabous Interoperability for ML and a Linear Language

      • Gabriel Scherer, Max New, Nick Rioux, Amal Ahmed
      Pages 146-162Open Access
  4. Concurrency

    1. Front Matter

      Pages 163-163
    2. Automata for True Concurrency Properties

      • Paolo Baldan, Tommaso Padoan
      Pages 165-182Open Access
    3. A Theory of Encodings and Expressiveness (Extended Abstract)

      • Rob van Glabbeek
      Pages 183-202Open Access
    4. A Framework for Parameterized Monitorability

      • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
      Pages 203-220Open Access
    5. Logics for Bisimulation and Divergence

      • Xinxin Liu, Tingting Yu, Wenhui Zhang
      Pages 221-237Open Access
  5. Lambda-Calculi and Types

    1. Front Matter

      Pages 239-239
    2. Call-by-Need, Neededness and All That

      • Delia Kesner, Alejandro Ríos, Andrés Viso
      Pages 241-257Open Access
    3. Fitch-Style Modal Lambda Calculi

      • Ranald Clouston
      Pages 258-275Open Access

Other Volumes

  1. 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

About this book

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

  • TU Dresden , Dresden, Germany

    Christel Baier

  • Università di Bologna, Bologna, Italy

    Ugo Dal Lago

Bibliographic Information

Buying options

Softcover Book
USD 59.99
Price excludes VAT (USA)