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