Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2002.bht:"
download as .bib file
@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 = {Sun, 15 Jan 2023 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-04-24 04:47 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
