Skip to main content
SpringerLink
Log in

Foundations of Software Science and Computational Structures

6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Andrew D. Gordon

    1. Microsoft Research, Cambridge, UK

    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 2620)

Included in the following conference series:

Conference proceedings info: FoSSaCS 2003.

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 (27 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Paper

    1. A Game Semantics for Generic Polymorphism

      • Samson Abramsky, Radha Jagadeesan
      Pages 1-22

  3. Contributed Papers

    1. Categories of Containers

      • Michael Abbott, Thorsten Altenkirch, Neil Ghani
      Pages 23-38

    2. Verification of Probabilistic Systems with Faulty Communication

      • Parosh Aziz Abdulla, Alexander Rabinovich
      Pages 39-53

    3. Generalized Iteration and Coiteration for Higher-Order Nested Datatypes

      • Andreas Abel, Ralph Matthes, Tarmo Uustalu
      Pages 54-69

    4. Ambiguous Classes in the Games μ-Calculus Hierarchy

      • André Arnold, Luigi Santocanale
      Pages 70-86

    5. Parameterized Verification by Probabilistic Abstraction

      • Amir Pnueli, Lenore Zuck
      Pages 87-102

    6. Genericity and the π-Calculus

      • Martin Berger, Kohei Honda, Nobuko Yoshida
      Pages 103-119

    7. Model Checking Lossy Channels Systems Is Probably Decidable

      • Nathalie Bertrand, Philippe Schnoebelen
      Pages 120-135

    8. Verification of Cryptographic Protocols: Tagging Enforces Termination

      • Bruno Blanchet, Andreas Podelski
      Pages 136-152

    9. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions

      • Eduardo Bonelli
      Pages 153-168

    10. When Ambients Cannot Be Opened

      • Iovka Boneva, Jean-Marc Talbot
      Pages 169-184

    11. Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time

      • Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
      Pages 185-199

    12. An Intrinsic Characterization of Approximate Probabilistic Bisimilarity

      • Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell
      Pages 200-215

    13. Manipulating Trees with Hidden Labels

      • Luca Cardelli, Philippa Gardner, Giorgio Ghelli
      Pages 216-230

    14. The Converse of a Stochastic Relation

      • Ernst-Erich Doberkat
      Pages 233-249

    15. Type Assignment for Intersections and Unions in Call-by-Value Languages

      • Jana Dunfield, Frank Pfenning
      Pages 250-266

    16. Cones and Foci for Protocol Verification Revisited

      • Wan Fokkink, Jun Pang
      Pages 267-281

    17. Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems

      • Matthew Hennessy, Massimo Merro, Julian Rathke
      Pages 282-298

    18. The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard

      • Emanuel KieroÅ„ski
      Pages 299-312
Back to top

Other volumes

  1. Foundations of Software Science and Computation Structures

Keywords

Editors and Affiliations

  • Microsoft Research, Cambridge, UK

    Andrew D. Gordon

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation