6. FoSSaCS 2003: Warsaw, Poland (Part of ETAPS 2003)

Andrew D. Gordon (Ed.): 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. Lecture Notes in Computer Science 2620 Springer 2003, ISBN 3-540-00897-7 BibTeX

@proceedings{DBLP:conf/fossacs/2003,
  editor    = {Andrew D. Gordon},
  title     = {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},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  year      = {2003},
  isbn      = {3-540-00897-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

Samson Abramsky, Radha Jagadeesan:
A Game Semantics for Generic Polymorphism. 1-22
Electronic Edition (Springer LINK) BibTeX

Contributed Papers

Michael Abbott, Thorsten Altenkirch, Neil Ghani:
Categories of Containers. 23-38
Electronic Edition (Springer LINK) BibTeX
Parosh Aziz Abdulla, Alexander Moshe Rabinovich:
Verification of Probabilistic Systems with Faulty Communication. 39-53
Electronic Edition (Springer LINK) BibTeX
Andreas Abel, Ralph Matthes, Tarmo Uustalu:
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. 54-69
Electronic Edition (Springer LINK) BibTeX
André Arnold, Luigi Santocanale:
Ambiguous Classes in the Games µ-Calculus Hierarchy. 70-86
Electronic Edition (Springer LINK) BibTeX
Tamarah Arons, Amir Pnueli, Lenore D. Zuck:
Parameterized Verification by Probabilistic Abstraction. 87-102
Electronic Edition (Springer LINK) BibTeX
Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-Calculus. 103-119
Electronic Edition (Springer LINK) BibTeX
Nathalie Bertrand, Ph. Schnoebelen:
Model Checking Lossy Channels Systems Is Probably Decidable. 120-135
Electronic Edition (Springer LINK) BibTeX
Bruno Blanchet, Andreas Podelski:
Verification of Cryptographic Protocols: Tagging Enforces Termination. 136-152
Electronic Edition (Springer LINK) BibTeX
Eduardo Bonelli:
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions. 153-168
Electronic Edition (Springer LINK) BibTeX
Iovka Boneva, Jean-Marc Talbot:
When Ambients Cannot Be Opened. 169-184
Electronic Edition (Springer LINK) BibTeX
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion:
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. 185-199
Electronic Edition (Springer LINK) BibTeX
Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell:
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. 200-215
Electronic Edition (Springer LINK) BibTeX
Luca Cardelli, Philippa Gardner, Giorgio Ghelli:
Manipulating Trees with Hidden Labels. 216-232
Electronic Edition (Springer LINK) BibTeX
Ernst-Erich Doberkat:
The Converse of a Stochastic Relation. 233-249
Electronic Edition (Springer LINK) BibTeX
Joshua Dunfield, Frank Pfenning:
Type Assignment for Intersections and Unions in Call-by-Value Languages. 250-266
Electronic Edition (Springer LINK) BibTeX
Wan Fokkink, Jun Pang:
Cones and Foci for Protocol Verification Revisited. 267-281
Electronic Edition (Springer LINK) BibTeX
Matthew Hennessy, Massimo Merro, Julian Rathke:
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. 282-298
Electronic Edition (Springer LINK) BibTeX
Emanuel Kieronski:
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard. 299-312
Electronic Edition (Springer LINK) BibTeX
James Laird:
A Game Semantics of Linearly Used Continuations. 313-327
Electronic Edition (Springer LINK) BibTeX
Denis Lugiez:
Counting and Equality Constraints for Multitree Automata. 328-342
Electronic Edition (Springer LINK) BibTeX
Patrick Maier:
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. 343-357
Electronic Edition (Springer LINK) BibTeX
Eugenio Moggi, Sonia Fagorzi:
A Monadic Multi-stage Metalanguage. 358-374
Electronic Edition (Springer LINK) BibTeX
Alberto Momigliano, Simon Ambler:
Multi-level Meta-reasoning with Higher-Order Abstract Syntax. 375-391
Electronic Edition (Springer LINK) BibTeX
John Power, Konstantinos Tourlas:
Abstraction in Reasoning about Higraph-Based Systems. 392-408
Electronic Edition (Springer LINK) BibTeX
Vladimiro Sassone, Pawel Sobocinski:
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. 409-424
Electronic Edition (Springer LINK) BibTeX
Christoph Sprenger, Mads Dam:
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. 425-440
Electronic Edition (Springer LINK) BibTeX