:facetid:toc:\"db/conf/fossacs/fossacs2002.bht\"OK:facetid:toc:db/conf/fossacs/fossacs2002.bhtErika Ábrahám-MummFrank S. de BoerWillem P. de RoeverMartin SteffenVerification for Java's Reentrant Multithreading Concept.FoSSaCS5-202002Conference and Workshop Papersclosedconf/fossacs/Abraham-MummBRS0210.1007/3-540-45931-6_2https://doi.org/10.1007/3-540-45931-6_2https://dblp.org/rec/conf/fossacs/Abraham-MummBRS02URL#6250597Michel BidoitRolf HennickerOn the Integration of Observability and Reachability Concepts.FoSSaCS21-362002Conference and Workshop Papersclosedconf/fossacs/BidoitH0210.1007/3-540-45931-6_3https://doi.org/10.1007/3-540-45931-6_3https://dblp.org/rec/conf/fossacs/BidoitH02URL#6250598Frank S. de BoerMaurizio GabbrielliMaria Chiara MeoProving Correctness of Timed Concurrent Constraint Programs.FoSSaCS37-512002Conference and Workshop Papersclosedconf/fossacs/BoerGM0210.1007/3-540-45931-6_4https://doi.org/10.1007/3-540-45931-6_4https://dblp.org/rec/conf/fossacs/BoerGM02URL#6250599Benedikt BolligMartin LeuckerThomas Noll 0001Generalised Regular MSC Languages.FoSSaCS52-662002Conference and Workshop Papersclosedconf/fossacs/BolligLN0210.1007/3-540-45931-6_5https://doi.org/10.1007/3-540-45931-6_5https://dblp.org/rec/conf/fossacs/BolligLN02URL#6250600Michele BorealeDaniele GorlaOn Compositional Reasoning in the Spi-calculus.FoSSaCS67-812002Conference and Workshop Papersclosedconf/fossacs/BorealeG0210.1007/3-540-45931-6_6https://doi.org/10.1007/3-540-45931-6_6https://dblp.org/rec/conf/fossacs/BorealeG02URL#6250601Corina CîrsteaOn Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.FoSSaCS82-972002Conference and Workshop Papersclosedconf/fossacs/Cirstea0210.1007/3-540-45931-6_7https://doi.org/10.1007/3-540-45931-6_7https://dblp.org/rec/conf/fossacs/Cirstea02URL#6250602Bruno CourcelleSemantical Evaluations as Monadic Second-Order Compatible Structure Transformations.FoSSaCS1-42002Conference and Workshop Papersclosedconf/fossacs/Courcelle0210.1007/3-540-45931-6_1https://doi.org/10.1007/3-540-45931-6_1https://dblp.org/rec/conf/fossacs/Courcelle02URL#6250603Olivier DanvyLasse R. NielsenA First-Order One-Pass CPS Transformation.FoSSaCS98-1132002Conference and Workshop Papersclosedconf/fossacs/DanvyN0210.1007/3-540-45931-6_8https://doi.org/10.1007/3-540-45931-6_8https://dblp.org/rec/conf/fossacs/DanvyN02URL#6250604Ernst-Erich DoberkatThe Demonic Product of Probabilistic Relations.FoSSaCS114-1282002Conference and Workshop Papersclosedconf/fossacs/Doberkat0210.1007/3-540-45931-6_9https://doi.org/10.1007/3-540-45931-6_9https://dblp.org/rec/conf/fossacs/Doberkat02URL#6250605Gian-Luigi Ferrari 0002Ugo MontanariMarco PistoreMinimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.FoSSaCS129-1582002Conference and Workshop Papersclosedconf/fossacs/FerrariMP0210.1007/3-540-45931-6_10https://doi.org/10.1007/3-540-45931-6_10https://dblp.org/rec/conf/fossacs/FerrariMP02URL#6250606Carsten FührmannVarieties of Effects.FoSSaCS144-1582002Conference and Workshop Papersclosedconf/fossacs/Fuhrmann0210.1007/3-540-45931-6_11https://doi.org/10.1007/3-540-45931-6_11https://dblp.org/rec/conf/fossacs/Fuhrmann02URL#6250607Emmanuel GodardYves MétivierA Characterization of Families of Graphs in Which Election Is Possible.FoSSaCS159-1722002Conference and Workshop Papersclosedconf/fossacs/GodardM0210.1007/3-540-45931-6_12https://doi.org/10.1007/3-540-45931-6_12https://dblp.org/rec/conf/fossacs/GodardM02URL#6250608Petr JancarAntonín Kucera 0001Faron MollerZdenek SawaEquivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.FoSSaCS172-1862002Conference and Workshop Papersclosedconf/fossacs/JancarKMS0210.1007/3-540-45931-6_13https://doi.org/10.1007/3-540-45931-6_13https://dblp.org/rec/conf/fossacs/JancarKMS02URL#6250609Somesh JhaJens PalsbergTian Zhao 0002Efficient Type Matching.FoSSaCS187-2042002Conference and Workshop Papersclosedconf/fossacs/JhaPZ0210.1007/3-540-45931-6_14https://doi.org/10.1007/3-540-45931-6_14https://dblp.org/rec/conf/fossacs/JhaPZ02URL#6250610Teodor KnapikDamian NiwinskiPawel UrzyczynHigher-Order Pushdown Trees Are Easy.FoSSaCS205-2222002Conference and Workshop Papersclosedconf/fossacs/KnapikNU0210.1007/3-540-45931-6_15https://doi.org/10.1007/3-540-45931-6_15https://dblp.org/rec/conf/fossacs/KnapikNU02URL#6250611Manuel KochLuigi V. ManciniFrancesco Parisi-PresicceConflict Detection and Resolution in Access Control Policy Specifications.FoSSaCS223-2372002Conference and Workshop Papersclosedconf/fossacs/KochMP0210.1007/3-540-45931-6_16https://doi.org/10.1007/3-540-45931-6_16https://dblp.org/rec/conf/fossacs/KochMP02URL#6250612Alexander Kurz 0001Logics Admitting Final Semantics.FoSSaCS238-2492002Conference and Workshop Papersclosedconf/fossacs/Kurz0210.1007/3-540-45931-6_17https://doi.org/10.1007/3-540-45931-6_17https://dblp.org/rec/conf/fossacs/Kurz02URL#6250613Martin LangeColin StirlingModel Checking Fixed Point Logic with Chop.FoSSaCS250-2632002Conference and Workshop Papersclosedconf/fossacs/LangeS0210.1007/3-540-45931-6_18https://doi.org/10.1007/3-540-45931-6_18https://dblp.org/rec/conf/fossacs/LangeS02URL#6250614François LaroussinieNicolas MarkeyPhilippe SchnoebelenOn Model Checking Durational Kripke Structures.FoSSaCS264-2792002Conference and Workshop Papersclosedconf/fossacs/LaroussinieMS0210.1007/3-540-45931-6_19https://doi.org/10.1007/3-540-45931-6_19https://dblp.org/rec/conf/fossacs/LaroussinieMS02URL#6250615Christof LödingModel-Checking Infinite Systems Generated by Ground Tree Rewriting.FoSSaCS280-2942002Conference and Workshop Papersclosedconf/fossacs/Loding0210.1007/3-540-45931-6_20https://doi.org/10.1007/3-540-45931-6_20https://dblp.org/rec/conf/fossacs/Loding02URL#6250616Markus LohreyAnca MuschollBounded MSC Communication.FoSSaCS295-3092002Conference and Workshop Papersclosedconf/fossacs/LohreyM0210.1007/3-540-45931-6_21https://doi.org/10.1007/3-540-45931-6_21https://dblp.org/rec/conf/fossacs/LohreyM02URL#6250617Keye MartinThe Informatic Derivative at a Compact Element.FoSSaCS310-3252002Conference and Workshop Papersclosedconf/fossacs/Martin0210.1007/3-540-45931-6_22https://doi.org/10.1007/3-540-45931-6_22https://dblp.org/rec/conf/fossacs/Martin02URL#6250618Till MossakowskiHeterogeneous Development Graphs and Heterogeneous Borrowing.FoSSaCS326-3412002Conference and Workshop Papersclosedconf/fossacs/Mossakowski0210.1007/3-540-45931-6_23https://doi.org/10.1007/3-540-45931-6_23https://dblp.org/rec/conf/fossacs/Mossakowski02URL#6250619Gordon D. PlotkinJohn PowerNotions of Computation Determine Monads.FoSSaCS342-3562002Conference and Workshop Papersclosedconf/fossacs/PlotkinP0210.1007/3-540-45931-6_24https://doi.org/10.1007/3-540-45931-6_24https://dblp.org/rec/conf/fossacs/PlotkinP02URL#6250620Luigi SantocanaleA Calculus of Circular Proofs and Its Categorical Semantics.FoSSaCS357-3712002Conference and Workshop Papersclosedconf/fossacs/Santocanale0210.1007/3-540-45931-6_25https://doi.org/10.1007/3-540-45931-6_25https://dblp.org/rec/conf/fossacs/Santocanale02URL#6250621Ulrich SchöppAlex K. SimpsonVerifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.FoSSaCS372-3862002Conference and Workshop Papersclosedconf/fossacs/SchoppS0210.1007/3-540-45931-6_26https://doi.org/10.1007/3-540-45931-6_26https://dblp.org/rec/conf/fossacs/SchoppS02URL#6250622Jirí SrbaNote on the Tableau Technique for Commutative Transition Systems.FoSSaCS387-4012002Conference and Workshop Papersclosedconf/fossacs/Srba0210.1007/3-540-45931-6_27https://doi.org/10.1007/3-540-45931-6_27https://dblp.org/rec/conf/fossacs/Srba02URL#6250623Hongseok YangPeter W. O'HearnA Semantic Basis for Local Reasoning.FoSSaCS402-4162002Conference and Workshop Papersclosedconf/fossacs/YangO0210.1007/3-540-45931-6_28https://doi.org/10.1007/3-540-45931-6_28https://dblp.org/rec/conf/fossacs/YangO02URL#6250624Nobuko YoshidaKohei Honda 0001Martin Berger 0001Linearity and Bisimulation.FoSSaCS417-4342002Conference and Workshop Papersclosedconf/fossacs/YoshidaHB0210.1007/3-540-45931-6_29https://doi.org/10.1007/3-540-45931-6_29https://dblp.org/rec/conf/fossacs/YoshidaHB02URL#6250625Mogens NielsenUffe EngbergFoundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, ProceedingsFoSSaCSLecture Notes in Computer Science2303Springer2002Editorshipconf/fossacs/200210.1007/3-540-45931-6https://doi.org/10.1007/3-540-45931-6https://dblp.org/rec/conf/fossacs/2002URL#6290222