Search dblp for Publications

export results for "toc:db/conf/fossacs/fossacs2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fossacs/AbbesB09,
  author       = {Samy Abbes and
                  Albert Benveniste},
  editor       = {Luca de Alfaro},
  title        = {Concurrency, sigma-Algebras, and Probabilistic Fairness},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {380--394},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_27},
  doi          = {10.1007/978-3-642-00596-1\_27},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AbbesB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbdullaM09,
  author       = {Parosh Aziz Abdulla and
                  Richard Mayr},
  editor       = {Luca de Alfaro},
  title        = {Minimal Cost Reachability/Coverability in Priced Timed Petri Nets},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_25},
  doi          = {10.1007/978-3-642-00596-1\_25},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AbdullaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekMV09,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Jir{\'{\i}} Velebil},
  editor       = {Luca de Alfaro},
  title        = {A Description of Iterative Reflections of Monads (Extended Abstract)},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_12},
  doi          = {10.1007/978-3-642-00596-1\_12},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AdamekMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Alur09,
  author       = {Rajeev Alur},
  editor       = {Luca de Alfaro},
  title        = {Temporal Reasoning about Program Executions},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {15},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_2},
  doi          = {10.1007/978-3-642-00596-1\_2},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Alur09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AlurDMW09,
  author       = {Rajeev Alur and
                  Aldric Degorre and
                  Oded Maler and
                  Gera Weiss},
  editor       = {Luca de Alfaro},
  title        = {On Omega-Languages Defined by Mean-Payoff Conditions},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_24},
  doi          = {10.1007/978-3-642-00596-1\_24},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AlurDMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AntonopoulosD09,
  author       = {Timos Antonopoulos and
                  Anuj Dawar},
  editor       = {Luca de Alfaro},
  title        = {Separating Graph Logic from {MSO}},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_6},
  doi          = {10.1007/978-3-642-00596-1\_6},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AntonopoulosD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ArandaVV09,
  author       = {Jes{\'{u}}s Aranda and
                  Frank D. Valencia and
                  Cristian Versari},
  editor       = {Luca de Alfaro},
  title        = {On the Expressive Power of Restriction and Priorities in {CCS} with
                  Replication},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {242--256},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_18},
  doi          = {10.1007/978-3-642-00596-1\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/ArandaVV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BansalBL09,
  author       = {Kshitij Bansal and
                  R{\'{e}}mi Brochenin and
                  {\'{E}}tienne Lozes},
  editor       = {Luca de Alfaro},
  title        = {Beyond Shapes: Lists with Ordered Data},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {425--439},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_30},
  doi          = {10.1007/978-3-642-00596-1\_30},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BansalBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BerardH09,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Serge Haddad},
  editor       = {Luca de Alfaro},
  title        = {Interrupt Timed Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {197--211},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_15},
  doi          = {10.1007/978-3-642-00596-1\_15},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BerardH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BirkedalST09,
  author       = {Lars Birkedal and
                  Kristian St{\o}vring and
                  Jacob Thamsborg},
  editor       = {Luca de Alfaro},
  title        = {Realizability Semantics of Parametric Polymorphism, General References,
                  and Recursive Types},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {456--470},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_32},
  doi          = {10.1007/978-3-642-00596-1\_32},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BirkedalST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BolligGH09,
  author       = {Benedikt Bollig and
                  Manuela{-}Lidia Grindei and
                  Peter Habermehl},
  editor       = {Luca de Alfaro},
  title        = {Realizability of Concurrent Recursive Programs},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {410--424},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_29},
  doi          = {10.1007/978-3-642-00596-1\_29},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BolligGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonchiGM09,
  author       = {Filippo Bonchi and
                  Fabio Gadducci and
                  Giacoma Valentina Monreale},
  editor       = {Luca de Alfaro},
  title        = {Reactive Systems, Barbed Semantics, and the Mobile Ambients},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {272--287},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_20},
  doi          = {10.1007/978-3-642-00596-1\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BonchiGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueRS09,
  author       = {Marcello M. Bonsangue and
                  Jan J. M. M. Rutten and
                  Alexandra Silva},
  editor       = {Luca de Alfaro},
  title        = {A Kleene Theorem for Polynomial Coalgebras},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_10},
  doi          = {10.1007/978-3-642-00596-1\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BonsangueRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BroadbentO09,
  author       = {Christopher H. Broadbent and
                  C.{-}H. Luke Ong},
  editor       = {Luca de Alfaro},
  title        = {On Global Model Checking Trees Generated by Higher-Order Recursion
                  Schemes},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_9},
  doi          = {10.1007/978-3-642-00596-1\_9},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BroadbentO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChatzikokolakisNP09,
  author       = {Konstantinos Chatzikokolakis and
                  Gethin Norman and
                  David Parker},
  editor       = {Luca de Alfaro},
  title        = {Bisimulation for Demonic Schedulers},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {318--332},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_23},
  doi          = {10.1007/978-3-642-00596-1\_23},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/ChatzikokolakisNP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Clairambault09,
  author       = {Pierre Clairambault},
  editor       = {Luca de Alfaro},
  title        = {Least and Greatest Fixpoints in Game Semantics},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {16--31},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_3},
  doi          = {10.1007/978-3-642-00596-1\_3},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Clairambault09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FossatiV09,
  author       = {Luca Fossati and
                  Daniele Varacca},
  editor       = {Luca de Alfaro},
  title        = {The Calculus of Handshake Configurations},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {227--241},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_17},
  doi          = {10.1007/978-3-642-00596-1\_17},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/FossatiV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Gutierrez09,
  author       = {Julian Gutierrez},
  editor       = {Luca de Alfaro},
  title        = {Logics and Bisimulation Games for Concurrency, Causality and Conflict},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_5},
  doi          = {10.1007/978-3-642-00596-1\_5},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Gutierrez09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Guttman09,
  author       = {Joshua D. Guttman},
  editor       = {Luca de Alfaro},
  title        = {Cryptographic Protocol Composition via the Authentication Tests},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {303--317},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_22},
  doi          = {10.1007/978-3-642-00596-1\_22},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Guttman09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KuhnrichSSK09,
  author       = {Morten K{\"{u}}hnrich and
                  Stefan Schwoon and
                  Jir{\'{\i}} Srba and
                  Stefan Kiefer},
  editor       = {Luca de Alfaro},
  title        = {Interprocedural Dataflow Analysis over Weight Domains with Infinite
                  Descending Chains},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {440--455},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_31},
  doi          = {10.1007/978-3-642-00596-1\_31},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/KuhnrichSSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KupfermanP09,
  author       = {Orna Kupferman and
                  Nir Piterman},
  editor       = {Luca de Alfaro},
  title        = {Lower Bounds on Witnesses for Nonemptiness of Universal Co-B{\"{u}}chi
                  Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_14},
  doi          = {10.1007/978-3-642-00596-1\_14},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/KupfermanP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Leivant09,
  author       = {Daniel Leivant},
  editor       = {Luca de Alfaro},
  title        = {On the Completeness of Dynamic Logic},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {78--91},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_7},
  doi          = {10.1007/978-3-642-00596-1\_7},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Leivant09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LengletSS09,
  author       = {Sergue{\"{\i}} Lenglet and
                  Alan Schmitt and
                  Jean{-}Bernard Stefani},
  editor       = {Luca de Alfaro},
  title        = {Normal Bisimulations in Calculi with Passivation},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {257--271},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_19},
  doi          = {10.1007/978-3-642-00596-1\_19},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/LengletSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LohreyMS09,
  author       = {Markus Lohrey and
                  Sebastian Maneth and
                  Manfred Schmidt{-}Schau{\ss}},
  editor       = {Luca de Alfaro},
  title        = {Parameter Reduction in Grammar-Compressed Trees},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {212--226},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_16},
  doi          = {10.1007/978-3-642-00596-1\_16},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/LohreyMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LustigV09,
  author       = {Yoad Lustig and
                  Moshe Y. Vardi},
  editor       = {Luca de Alfaro},
  title        = {Synthesis from Component Libraries},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {395--409},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_28},
  doi          = {10.1007/978-3-642-00596-1\_28},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/LustigV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MurawskiT09,
  author       = {Andrzej S. Murawski and
                  Nikos Tzevelekos},
  editor       = {Luca de Alfaro},
  title        = {Full Abstraction for Reduced {ML}},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_4},
  doi          = {10.1007/978-3-642-00596-1\_4},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/MurawskiT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MyersPS09,
  author       = {Robert S. R. Myers and
                  Dirk Pattinson and
                  Lutz Schr{\"{o}}der},
  editor       = {Luca de Alfaro},
  title        = {Coalgebraic Hybrid Logic},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_11},
  doi          = {10.1007/978-3-642-00596-1\_11},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/MyersPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/NeuhausserSK09,
  author       = {Martin R. Neuh{\"{a}}u{\ss}er and
                  Mari{\"{e}}lle Stoelinga and
                  Joost{-}Pieter Katoen},
  editor       = {Luca de Alfaro},
  title        = {Delayed Nondeterminism in Continuous-Time Markov Decision Processes},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_26},
  doi          = {10.1007/978-3-642-00596-1\_26},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/NeuhausserSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Schewe09,
  author       = {Sven Schewe},
  editor       = {Luca de Alfaro},
  title        = {Tighter Bounds for the Determinisation of B{\"{u}}chi Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_13},
  doi          = {10.1007/978-3-642-00596-1\_13},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Schewe09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Smith09,
  author       = {Geoffrey Smith},
  editor       = {Luca de Alfaro},
  title        = {On the Foundations of Quantitative Information Flow},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {288--302},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_21},
  doi          = {10.1007/978-3-642-00596-1\_21},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Smith09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Stirling09,
  author       = {Colin Stirling},
  editor       = {Luca de Alfaro},
  title        = {Dependency Tree Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_8},
  doi          = {10.1007/978-3-642-00596-1\_8},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Stirling09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Thomas09,
  author       = {Wolfgang Thomas},
  editor       = {Luca de Alfaro},
  title        = {Facets of Synthesis: Revisiting Church's Problem},
  booktitle    = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1\_1},
  doi          = {10.1007/978-3-642-00596-1\_1},
  timestamp    = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/Thomas09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2009,
  editor       = {Luca de Alfaro},
  title        = {Foundations of Software Science and Computational Structures, 12th
                  International Conference, {FOSSACS} 2009, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2009,
                  York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5504},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00596-1},
  doi          = {10.1007/978-3-642-00596-1},
  isbn         = {978-3-642-00595-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics