Skip to main content
  • Conference proceedings
  • Open Access
  • © 2021

Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Editors:

(view affiliations)

Conference proceedings info: FOSSACS 2021.

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)

Table of contents (28 papers)

  1. Front Matter

    Pages i-xv
  2. Constructing a universe for the setoid model

    • Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
    Pages 1-21Open Access
  3. Nominal Equational Problems

    • Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
    Pages 22-41Open Access
  4. Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

    • A. R. Balasubramanian, Javier Esparza, Mikhail Raskin
    Pages 42-61Open Access
  5. Fixpoint Theory – Upside Down

    • Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
    Pages 62-81Open Access
  6. “Most of” leads to undecidability: Failure of adding frequencies to LTL

    • Bartosz Bednarczyk, Jakub Michaliszyn
    Pages 82-101Open Access
  7. Combining Semilattices and Semimodules

    • Filippo Bonchi, Alessio Santamaria
    Pages 102-123Open Access
  8. One-way Resynchronizability of Word Transducers

    • Sougata Bose, S. N. Krishna, Anca Muscholl, Gabriele Puppis
    Pages 124-143Open Access
  9. Fair Refinement for Asynchronous Session Types

    • Mario Bravetti, Julien Lange, Gianluigi Zavattaro
    Pages 144-163Open Access
  10. Running Time Analysis of Broadcast Consensus Protocols

    • Philipp Czerner, Stefan Jaax
    Pages 164-183Open Access
  11. Leafy automata for higher-order concurrency

    • Alex Dixon, Ranko Lazić, Andrzej S. Murawski, Igor Walukiewicz
    Pages 184-204Open Access
  12. Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic

    • Claudia Faggian, Giulio Guerrieri
    Pages 205-225Open Access
  13. Generalized Bounded Linear Logic and its Categorical Semantics

    • Yōji Fukihara, Shin-ya Katsumata
    Pages 226-246Open Access
  14. Focused Proof-search in the Logic of Bunched Implications

    • Alexander Gheorghiu, Sonia Marin
    Pages 247-267Open Access
  15. Interpolation and Amalgamation for Arrays with MaxDiff

    • Silvio Ghilardi, Alessandro Gianola, Deepak Kapur
    Pages 268-288Open Access
  16. Adjoint Reactive GUI Programming

    • Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
    Pages 289-309Open Access
  17. On the Expressiveness of Büchi Arithmetic

    • Christoph Haase, Jakub Różycki
    Pages 310-323Open Access
  18. Parametricity for Primitive Nested Types

    • Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
    Pages 324-343Open Access
  19. The Spirit of Node Replication

    • Delia Kesner, Loïc Peyrot, Daniel Ventura
    Pages 344-364Open Access
  20. Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

    • Bartek Klin, Sławomir Lasota, Szymon Toruńczyk
    Pages 365-384Open Access

Other Volumes

  1. Foundations of Software Science and Computation Structures

    24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

About this book

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

 

Keywords

  • automata theory
  • databases
  • formal languages
  • formal logic
  • computational linguistics
  • open access
  • semantics
  • categorical models and logics
  • language theory, automata, and games
  • modal, spatial, and temporal logics
  • type theory and proof theory
  • concurrency theory and process calculi
  • rewriting theory
  • logical foundations of data bases
  • models of software security
  • logical aspects of computation complexity
  • logics of programming

Editors and Affiliations

  • University of Oxford, Oxford, UK

    Stefan Kiefer

  • Sorbonne Université - LIP6, Paris, France

    Christine Tasson

Bibliographic Information

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)