Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2002.bht:"
@inproceedings{DBLP:conf/fossacs/Abraham-MummBRS02, author = {Erika {\'{A}}brah{\'{a}}m{-}Mumm and Frank S. de Boer and Willem P. de Roever and Martin Steffen}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Verification for Java's Reentrant Multithreading Concept}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {5--20}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_2}, doi = {10.1007/3-540-45931-6\_2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Abraham-MummBRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BidoitH02, author = {Michel Bidoit and Rolf Hennicker}, editor = {Mogens Nielsen and Uffe Engberg}, title = {On the Integration of Observability and Reachability Concepts}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {21--36}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_3}, doi = {10.1007/3-540-45931-6\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BidoitH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BoerGM02, author = {Frank S. de Boer and Maurizio Gabbrielli and Maria Chiara Meo}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Proving Correctness of Timed Concurrent Constraint Programs}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {37--51}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_4}, doi = {10.1007/3-540-45931-6\_4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BoerGM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BolligLN02, author = {Benedikt Bollig and Martin Leucker and Thomas Noll}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Generalised Regular {MSC} Languages}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {52--66}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_5}, doi = {10.1007/3-540-45931-6\_5}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BolligLN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BorealeG02, author = {Michele Boreale and Daniele Gorla}, editor = {Mogens Nielsen and Uffe Engberg}, title = {On Compositional Reasoning in the Spi-calculus}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {67--81}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_6}, doi = {10.1007/3-540-45931-6\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BorealeG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Cirstea02, author = {Corina C{\^{\i}}rstea}, editor = {Mogens Nielsen and Uffe Engberg}, title = {On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {82--97}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_7}, doi = {10.1007/3-540-45931-6\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Cirstea02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Courcelle02, author = {Bruno Courcelle}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {1--4}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_1}, doi = {10.1007/3-540-45931-6\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Courcelle02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/DanvyN02, author = {Olivier Danvy and Lasse R. Nielsen}, editor = {Mogens Nielsen and Uffe Engberg}, title = {A First-Order One-Pass {CPS} Transformation}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {98--113}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_8}, doi = {10.1007/3-540-45931-6\_8}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/DanvyN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Doberkat02, author = {Ernst{-}Erich Doberkat}, editor = {Mogens Nielsen and Uffe Engberg}, title = {The Demonic Product of Probabilistic Relations}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {114--128}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_9}, doi = {10.1007/3-540-45931-6\_9}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Doberkat02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FerrariMP02, author = {Gian{-}Luigi Ferrari and Ugo Montanari and Marco Pistore}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Minimizing Transition Systems for Name Passing Calculi: {A} Co-algebraic Formulation}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {129--158}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_10}, doi = {10.1007/3-540-45931-6\_10}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/FerrariMP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Fuhrmann02, author = {Carsten F{\"{u}}hrmann}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Varieties of Effects}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {144--158}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_11}, doi = {10.1007/3-540-45931-6\_11}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Fuhrmann02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/GodardM02, author = {Emmanuel Godard and Yves M{\'{e}}tivier}, editor = {Mogens Nielsen and Uffe Engberg}, title = {A Characterization of Families of Graphs in Which Election Is Possible}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {159--172}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_12}, doi = {10.1007/3-540-45931-6\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/GodardM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/JancarKMS02, author = {Petr Jancar and Anton{\'{\i}}n Kucera and Faron Moller and Zdenek Sawa}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Equivalence-Checking with One-Counter Automata: {A} Generic Method for Proving Lower Bounds}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {172--186}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_13}, doi = {10.1007/3-540-45931-6\_13}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/JancarKMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/JhaPZ02, author = {Somesh Jha and Jens Palsberg and Tian Zhao}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Efficient Type Matching}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {187--204}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_14}, doi = {10.1007/3-540-45931-6\_14}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/JhaPZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KnapikNU02, author = {Teodor Knapik and Damian Niwinski and Pawel Urzyczyn}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Higher-Order Pushdown Trees Are Easy}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {205--222}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_15}, doi = {10.1007/3-540-45931-6\_15}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/KnapikNU02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KochMP02, author = {Manuel Koch and Luigi V. Mancini and Francesco Parisi{-}Presicce}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Conflict Detection and Resolution in Access Control Policy Specifications}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {223--237}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_16}, doi = {10.1007/3-540-45931-6\_16}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/KochMP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Kurz02, author = {Alexander Kurz}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Logics Admitting Final Semantics}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {238--249}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_17}, doi = {10.1007/3-540-45931-6\_17}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/Kurz02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LangeS02, author = {Martin Lange and Colin Stirling}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Model Checking Fixed Point Logic with Chop}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {250--263}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_18}, doi = {10.1007/3-540-45931-6\_18}, timestamp = {Tue, 09 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/LangeS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LaroussinieMS02, author = {Fran{\c{c}}ois Laroussinie and Nicolas Markey and Philippe Schnoebelen}, editor = {Mogens Nielsen and Uffe Engberg}, title = {On Model Checking Durational Kripke Structures}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {264--279}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_19}, doi = {10.1007/3-540-45931-6\_19}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/LaroussinieMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Loding02, author = {Christof L{\"{o}}ding}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Model-Checking Infinite Systems Generated by Ground Tree Rewriting}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {280--294}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_20}, doi = {10.1007/3-540-45931-6\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Loding02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/LohreyM02, author = {Markus Lohrey and Anca Muscholl}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Bounded {MSC} Communication}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {295--309}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_21}, doi = {10.1007/3-540-45931-6\_21}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/LohreyM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Martin02, author = {Keye Martin}, editor = {Mogens Nielsen and Uffe Engberg}, title = {The Informatic Derivative at a Compact Element}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {310--325}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_22}, doi = {10.1007/3-540-45931-6\_22}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Martin02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Mossakowski02, author = {Till Mossakowski}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Heterogeneous Development Graphs and Heterogeneous Borrowing}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {326--341}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_23}, doi = {10.1007/3-540-45931-6\_23}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Mossakowski02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/PlotkinP02, author = {Gordon D. Plotkin and John Power}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Notions of Computation Determine Monads}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {342--356}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_24}, doi = {10.1007/3-540-45931-6\_24}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/PlotkinP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Santocanale02, author = {Luigi Santocanale}, editor = {Mogens Nielsen and Uffe Engberg}, title = {A Calculus of Circular Proofs and Its Categorical Semantics}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {357--371}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_25}, doi = {10.1007/3-540-45931-6\_25}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Santocanale02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/SchoppS02, author = {Ulrich Sch{\"{o}}pp and Alex K. Simpson}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {372--386}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_26}, doi = {10.1007/3-540-45931-6\_26}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/SchoppS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Srba02, author = {Jir{\'{\i}} Srba}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Note on the Tableau Technique for Commutative Transition Systems}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {387--401}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_27}, doi = {10.1007/3-540-45931-6\_27}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Srba02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/YangO02, author = {Hongseok Yang and Peter W. O'Hearn}, editor = {Mogens Nielsen and Uffe Engberg}, title = {A Semantic Basis for Local Reasoning}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {402--416}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_28}, doi = {10.1007/3-540-45931-6\_28}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/YangO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/YoshidaHB02, author = {Nobuko Yoshida and Kohei Honda and Martin Berger}, editor = {Mogens Nielsen and Uffe Engberg}, title = {Linearity and Bisimulation}, booktitle = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, pages = {417--434}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6\_29}, doi = {10.1007/3-540-45931-6\_29}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/YoshidaHB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fossacs/2002, editor = {Mogens Nielsen and Uffe Engberg}, title = {Foundations 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, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2303}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45931-6}, doi = {10.1007/3-540-45931-6}, isbn = {3-540-43366-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.