Skip to main content
SpringerLink
Log in

Foundations of Software Science and Computation Structures

18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Andrew Pitts

    1. University of Cambridge, Cambridge, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FoSSaCS 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages 1-13
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Polarized Substructural Session Types

      • Frank Pfenning, Dennis Griffith
      Pages 3-22

  3. Semantics of Programming Languages I

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism

      • Konstantinos Mamouras
      Pages 25-40

    3. An Infinitary Model of Linear Logic

      • Charles Grellois, Paul-André Melliès
      Pages 41-55

    4. Game Semantics and Normalization by Evaluation

      • Pierre Clairambault, Peter Dybjer
      Pages 56-70

    5. Foundations of Differential Dataflow

      • Martín Abadi, Frank McSherry, Gordon D. Plotkin
      Pages 71-83

  4. Categorical Models and Logics

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. States of Convex Sets

      • Bart Jacobs, Bas Westerbaan, Bram Westerbaan
      Pages 87-101

    3. A Categorical Semantics for Linear Logical Frameworks

      • Matthijs Vákár
      Pages 102-116

    4. A Completeness Result for Finite λ-bisimulations

      • Joost Winter
      Pages 117-132

    5. Sequent Calculus in the Topos of Trees

      • Ranald Clouston, Rajeev Goré
      Pages 133-147

  5. Modal and Temporal Logics

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Coalgebraic Trace Semantics via Forgetful Logics

      • Bartek Klin, Jurriaan Rot
      Pages 151-166

    3. Unifying Hyper and Epistemic Temporal Logics

      • Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
      Pages 167-182

  6. Concurrent, Probabilistic and Timed Systems

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. On the Total Variation Distance of Semi-Markov Chains

      • Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
      Pages 185-199

    3. Decidable and Expressive Classes of Probabilistic Automata

      • Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
      Pages 200-214

    4. Knowledge = Observation + Memory + Computation

      • Blaise Genest, Doron Peled, Sven Schewe
      Pages 215-229
Back to top

Other volumes

  1. Foundations of Software Science and Computation Structures

Keywords

About this book

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Editors and Affiliations

  • University of Cambridge, Cambridge, United Kingdom

    Andrew Pitts

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation