Skip to main content
  • Conference proceedings
  • © 2015

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 info: FoSSaCS 2015.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46678-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

    Pages 1-13
  2. Invited Talk

    1. Front Matter

      Pages 1-1
    2. Polarized Substructural Session Types

      • Frank Pfenning, Dennis Griffith
      Pages 3-22
  3. Semantics of Programming Languages I

    1. Front Matter

      Pages 23-23
    2. An Infinitary Model of Linear Logic

      • Charles Grellois, Paul-André Melliès
      Pages 41-55
    3. Game Semantics and Normalization by Evaluation

      • Pierre Clairambault, Peter Dybjer
      Pages 56-70
    4. 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
    2. States of Convex Sets

      • Bart Jacobs, Bas Westerbaan, Bram Westerbaan
      Pages 87-101
    3. 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
    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
    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

Other Volumes

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

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.

Keywords

  • Analysis tools
  • B formal language
  • Certification
  • Component reuse
  • Component-based software
  • Compositionality
  • Consistency checking
  • Evolution rules
  • Formal methods
  • Formal models
  • Formal semantics
  • Modeling approaches
  • Models of computation
  • Program analysis
  • Quantitative verification
  • Service-oriented computing
  • Software adaptation
  • Software verification and validation
  • Timed automata
  • Transformation

Editors and Affiliations

  • University of Cambridge, Cambridge, United Kingdom

    Andrew Pitts

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46678-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)