
Conferences in DBLP
 Bruno Courcelle
Semantical Evaluations as Monadic SecondOrder Compatible Structure Transformations. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:14 [Conf]
 Erika ÁbrahámMumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Verification for Java's Reentrant Multithreading Concept. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:520 [Conf]
 Michel Bidoit, Rolf Hennicker
On the Integration of Observability and Reachability Concepts. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:2136 [Conf]
 Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving Correctness of Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:3751 [Conf]
 Benedikt Bollig, Martin Leucker, Thomas Noll
Generalised Regular MSC Languages. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:5266 [Conf]
 Michele Boreale, Daniele Gorla
On Compositional Reasoning in the Spicalculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:6781 [Conf]
 Corina Cîrstea
On Specification Logics for AlgebraCoalgebra Structures: Reconciling Reachability and Observability. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:8297 [Conf]
 Olivier Danvy, Lasse R. Nielsen
A FirstOrder OnePass CPS Transformation. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:98113 [Conf]
 ErnstErich Doberkat
The Demonic Product of Probabilistic Relations. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:114128 [Conf]
 Gian Luigi Ferrari, Ugo Montanari, Marco Pistore
Minimizing Transition Systems for Name Passing Calculi: A Coalgebraic Formulation. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:129158 [Conf]
 Carsten Führmann
Varieties of Effects. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:144158 [Conf]
 Emmanuel Godard, Yves Métivier
A Characterization of Families of Graphs in Which Election Is Possible. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:159172 [Conf]
 Petr Jancar, Antonín Kucera, Faron Moller, Zdenek Sawa
EquivalenceChecking with OneCounter Automata: A Generic Method for Proving Lower Bounds. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:172186 [Conf]
 Somesh Jha, Jens Palsberg, Tian Zhao
Efficient Type Matching. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:187204 [Conf]
 Teodor Knapik, Damian Niwinski, Pawel Urzyczyn
HigherOrder Pushdown Trees Are Easy. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:205222 [Conf]
 Manuel Koch, Luigi V. Mancini, Francesco ParisiPresicce
Conflict Detection and Resolution in Access Control Policy Specifications. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:223237 [Conf]
 Alexander Kurz
Logics Admitting Final Semantics. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:238249 [Conf]
 Martin Lange, Colin Stirling
Model Checking Fixed Point Logic with Chop. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:250263 [Conf]
 François Laroussinie, Nicolas Markey, Ph. Schnoebelen
On Model Checking Durational Kripke Structures. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:264279 [Conf]
 Christof Löding
ModelChecking Infinite Systems Generated by Ground Tree Rewriting. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:280294 [Conf]
 Markus Lohrey, Anca Muscholl
Bounded MSC Communication. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:295309 [Conf]
 Keye Martin
The Informatic Derivative at a Compact Element. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:310325 [Conf]
 Till Mossakowski
Heterogeneous Development Graphs and Heterogeneous Borrowing. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:326341 [Conf]
 Gordon D. Plotkin, John Power
Notions of Computation Determine Monads. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:342356 [Conf]
 Luigi Santocanale
A Calculus of Circular Proofs and Its Categorical Semantics. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:357371 [Conf]
 Ulrich Schöpp, Alex K. Simpson
Verifying Temporal Properties Using Explicit Approximants: Completeness for Contextfree Processes. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:372386 [Conf]
 Jirí Srba
Note on the Tableau Technique for Commutative Transition Systems. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:387401 [Conf]
 Hongseok Yang, Peter W. O'Hearn
A Semantic Basis for Local Reasoning. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:402416 [Conf]
 Nobuko Yoshida, Kohei Honda, Martin Berger
Linearity and Bisimulation. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:417434 [Conf]
