Research Catalog

Title

Foundations of software science and computational structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordon (ed).

Author

FOSSACS (Conference) (6th : 2003 : Warsaw, Poland)

Publication

New York : Springer, 2003.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Gordon, Andrew D.
• ETAPS (Conference) (6th : 2003 : Warsaw, Poland)

Description

xii, 440 pages : figures; 24 cm.

Series Statement

Lecture notes in computer science ; 2620

Uniform Title

Lecture notes in computer science ; 2620.

Alternative Title

FOSSACS 2003

Subject

• Computer software > Congresses
• System analysis > Congresses

Additional Formats (note)

• Also available via the World Wide Web.

Contents

• A Game Semantics for Generic Polymorphism / Samson Abramsky and Radha Jagadeesan -- Categories of Containers / Michael Abbott, Thorsten Altenkirch and Neil Ghani -- Verification of Probabilistic Systems with Faulty Communication / Parosh Aziz Abdulla and Alexander Rabinovich -- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes / Andreas Abel, Ralph Matthes and Tarmo Uustalu -- Ambiguous Classes in the Games [mu]-Calculus Hierarchy / Andre Arnold and Luigi Santocanale -- Parameterized Verification by Probabilistic Abstraction / Tamarah Arons, Amir Pnueli and Lenore Zuck -- Genericity and the [pi]-Calculus / Martin Berger, Kohei Honda and Nobuko Yoshida -- Model Checking Lossy Channels Systems Is Probably Decidable / Nathalie Bertrand and Philippe Schnoebelen -- Verification of Cryptographic Protocols: Tagging Enforces Termination / Bruno Blanchet and Andreas Podelski --
• A Normalisation Result for Higher-Order Calculi with Explicit Substitutions / Eduardo Bonelli -- When Ambients Cannot be Opened / Iovka Boneva and Jean-Marc Talbot -- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time / Olivier Bournez, Felipe Cucker, Paulin Jacobe de Naurois and Jean-Yves Marion -- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity / Franck van Breugel, Michael Mislove, Joel Ouaknine and James Worrell -- Manipulating Trees with Hidden Labels / Luca Cardelli, Philippa Gardner and Giorgio Ghelli -- The Converse of a Stochastic Relation / Ernst-Erich Doberkat -- Type Assignment for Intersections and Unions in Call-by-Value Languages / Joshua Dunfield and Frank Pfenning -- Cones and Foci for Protocol Verification Revisited / Wan Fokkink and Jun Pang -- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems / Matthew Hennessy, Massimo Merro and Julian Rathke --
• The Two-Valuable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard / Emanuel Kieronski -- A Game Semantics of Linearly Used Continuations / James Laird -- Counting and Equality Constraints for Multitree Automata / Denis Lugiez -- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete / Patrick Maier -- A Monadic Multi-stage Metalanguage / Eugenio Moggi and Sonia Fagorzi -- Multi-level Meta-reasoning with Higher-Order Abstract Syntax / Alberto Momigliano and Simon J. Ambler -- Abstraction in Reasoning about Higraph-Based Systems / John Power and Konstantinos Tourlas -- Deriving Bisimulation Congruences: 2-Categories Vs Precategories / Vladimiro Sassone and Pawel Sobocinski -- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the [mu]-Calculus / Christoph Sprenger and Mads Dam.

ISBN

3540008977 (softcover :alk. paper)

LCCN

2003045462

OCLC

• ocm51861929
• SCSB-4344306

Owning Institutions

Columbia University Libraries