Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fossacs/AdamekBHKMS12,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Filippo Bonchi and
                  Mathias H{\"{u}}lsbusch and
                  Barbara K{\"{o}}nig and
                  Stefan Milius and
                  Alexandra Silva},
  editor       = {Lars Birkedal},
  title        = {A Coalgebraic Perspective on Minimization and Determinization},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {58--73},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_4},
  doi          = {10.1007/978-3-642-28729-9\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AdamekBHKMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AdamekMMS12,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Lawrence S. Moss and
                  Lurdes Sousa},
  editor       = {Lars Birkedal},
  title        = {Well-Pointed Coalgebras (Extended Abstract)},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_6},
  doi          = {10.1007/978-3-642-28729-9\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AdamekMMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AhmanCU12,
  author       = {Danel Ahman and
                  James Chapman and
                  Tarmo Uustalu},
  editor       = {Lars Birkedal},
  title        = {When Is a Container a Comonad?},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_5},
  doi          = {10.1007/978-3-642-28729-9\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/AhmanCU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/AtkeyGJJ12,
  author       = {Robert Atkey and
                  Neil Ghani and
                  Bart Jacobs and
                  Patricia Johann},
  editor       = {Lars Birkedal},
  title        = {Fibrational Induction Meets Effects},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {42--57},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_3},
  doi          = {10.1007/978-3-642-28729-9\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AtkeyGJJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BernardoNL12,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Lars Birkedal},
  title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and
                  Probabilistic Processes},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {195--209},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_13},
  doi          = {10.1007/978-3-642-28729-9\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BernardoNL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BiernackiL12,
  author       = {Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet},
  editor       = {Lars Birkedal},
  title        = {Applicative Bisimulations for Delimited-Control Operators},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {119--134},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_8},
  doi          = {10.1007/978-3-642-28729-9\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BiernackiL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BolligCGK12,
  author       = {Benedikt Bollig and
                  Aiswarya Cyriac and
                  Paul Gastin and
                  K. Narayan Kumar},
  editor       = {Lars Birkedal},
  title        = {Model Checking Languages of Data Words},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {391--405},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_26},
  doi          = {10.1007/978-3-642-28729-9\_26},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BolligCGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BouyerBMU12,
  author       = {Patricia Bouyer and
                  Romain Brenguier and
                  Nicolas Markey and
                  Michael Ummels},
  editor       = {Lars Birkedal},
  title        = {Concurrent Games with Ordered Objectives},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {301--315},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_20},
  doi          = {10.1007/978-3-642-28729-9\_20},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/BouyerBMU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BoveDS12,
  author       = {Ana Bove and
                  Peter Dybjer and
                  Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
  editor       = {Lars Birkedal},
  title        = {Combining Interactive and Automatic Reasoning in First Order Theories
                  of Functional Programs},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {104--118},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_7},
  doi          = {10.1007/978-3-642-28729-9\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BoveDS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BreuersLO12,
  author       = {Stefan Breuers and
                  Christof L{\"{o}}ding and
                  J{\"{o}}rg Olschewski},
  editor       = {Lars Birkedal},
  title        = {Improved Ramsey-Based B{\"{u}}chi Complementation},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {150--164},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_10},
  doi          = {10.1007/978-3-642-28729-9\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BreuersLO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BrihayeBPG12,
  author       = {Thomas Brihaye and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Julie {De Pril} and
                  Hugo Gimbert},
  editor       = {Lars Birkedal},
  title        = {Subgame Perfection for Equilibria in Quantitative Reachability Games},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {286--300},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_19},
  doi          = {10.1007/978-3-642-28729-9\_19},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BrihayeBPG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/CaliGOP12,
  author       = {Andrea Cal{\`{\i}} and
                  Georg Gottlob and
                  Giorgio Orsi and
                  Andreas Pieris},
  editor       = {Lars Birkedal},
  title        = {Querying {UML} Class Diagrams},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_1},
  doi          = {10.1007/978-3-642-28729-9\_1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/CaliGOP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Chatterjee12,
  author       = {Krishnendu Chatterjee},
  editor       = {Lars Birkedal},
  title        = {Robustness of Structurally Equivalent Concurrent Parity Games},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {270--285},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_18},
  doi          = {10.1007/978-3-642-28729-9\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Chatterjee12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/ChenBW12,
  author       = {Di Chen and
                  Franck van Breugel and
                  James Worrell},
  editor       = {Lars Birkedal},
  title        = {On the Complexity of Computing Probabilistic Bisimilarity},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {437--451},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_29},
  doi          = {10.1007/978-3-642-28729-9\_29},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/ChenBW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/CrafaVY12,
  author       = {Silvia Crafa and
                  Daniele Varacca and
                  Nobuko Yoshida},
  editor       = {Lars Birkedal},
  title        = {Event Structure Semantics of Parallel Extrusion in the Pi-Calculus},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {225--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_15},
  doi          = {10.1007/978-3-642-28729-9\_15},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/CrafaVY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/DArgenioL12,
  author       = {Pedro R. D'Argenio and
                  Matias David Lee},
  editor       = {Lars Birkedal},
  title        = {Probabilistic Transition System Specification: Congruence and Full
                  Abstraction of Bisimulation},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {452--466},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_30},
  doi          = {10.1007/978-3-642-28729-9\_30},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/DArgenioL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/GlabbeekGS12,
  author       = {Rob J. van Glabbeek and
                  Ursula Goltz and
                  Jens{-}Wolfhard Schicke{-}Uffmann},
  editor       = {Lars Birkedal},
  title        = {On Distributability of Petri Nets - (Extended Abstract)},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_22},
  doi          = {10.1007/978-3-642-28729-9\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GlabbeekGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/GollerHOW12,
  author       = {Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Lars Birkedal},
  title        = {Branching-Time Model Checking of Parametric One-Counter Automata},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {406--420},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_27},
  doi          = {10.1007/978-3-642-28729-9\_27},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GollerHOW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/GorinS12,
  author       = {Daniel Gor{\'{\i}}n and
                  Lutz Schr{\"{o}}der},
  editor       = {Lars Birkedal},
  title        = {Narcissists Are Easy, Stepmothers Are Hard},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {240--254},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_16},
  doi          = {10.1007/978-3-642-28729-9\_16},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GorinS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/HulsbuschK12,
  author       = {Mathias H{\"{u}}lsbusch and
                  Barbara K{\"{o}}nig},
  editor       = {Lars Birkedal},
  title        = {Deriving Bisimulation Congruences for Conditional Reactive Systems},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {361--375},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_24},
  doi          = {10.1007/978-3-642-28729-9\_24},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/HulsbuschK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/JagadeesanPR12,
  author       = {Radha Jagadeesan and
                  Gustavo Petri and
                  James Riely},
  editor       = {Lars Birkedal},
  title        = {Brookes Is Relaxed, Almost!},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {180--194},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_12},
  doi          = {10.1007/978-3-642-28729-9\_12},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/JagadeesanPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Kartzow12,
  author       = {Alexander Kartzow},
  editor       = {Lars Birkedal},
  title        = {First-Order Model Checking on Nested Pushdown Trees is Complete for
                  Doubly Exponential Alternating Time},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {376--390},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_25},
  doi          = {10.1007/978-3-642-28729-9\_25},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Kartzow12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/KieferMOWW12,
  author       = {Stefan Kiefer and
                  Andrzej S. Murawski and
                  Jo{\"{e}}l Ouaknine and
                  Bj{\"{o}}rn Wachter and
                  James Worrell},
  editor       = {Lars Birkedal},
  title        = {On the Complexity of the Equivalence Problem for Probabilistic Automata},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {467--481},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_31},
  doi          = {10.1007/978-3-642-28729-9\_31},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/KieferMOWW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/KurzST12,
  author       = {Alexander Kurz and
                  Tomoyuki Suzuki and
                  Emilio Tuosto},
  editor       = {Lars Birkedal},
  title        = {On Nominal Regular Languages with Binders},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {255--269},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_17},
  doi          = {10.1007/978-3-642-28729-9\_17},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/KurzST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/MazzaR12,
  author       = {Damiano Mazza and
                  Neil J. Ross},
  editor       = {Lars Birkedal},
  title        = {Full Abstraction for Set-Based Models of the Symmetric Interaction
                  Combinators},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {316--330},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_21},
  doi          = {10.1007/978-3-642-28729-9\_21},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/MazzaR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/NainV12,
  author       = {Sumit Nain and
                  Moshe Y. Vardi},
  editor       = {Lars Birkedal},
  title        = {Synthesizing Probabilistic Composers},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {421--436},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_28},
  doi          = {10.1007/978-3-642-28729-9\_28},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/NainV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/PetersN12,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  editor       = {Lars Birkedal},
  title        = {Is It a "Good" Encoding of Mixed Choice?},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_14},
  doi          = {10.1007/978-3-642-28729-9\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/PetersN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/PreugschatW12,
  author       = {Sebastian Preugschat and
                  Thomas Wilke},
  editor       = {Lars Birkedal},
  title        = {Effective Characterizations of Simple Fragments of Temporal Logic
                  Using Prophetic Automata},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_9},
  doi          = {10.1007/978-3-642-28729-9\_9},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/PreugschatW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/SeidlR12,
  author       = {Helmut Seidl and
                  Andreas Reu{\ss}},
  editor       = {Lars Birkedal},
  title        = {Extending {\textdollar}\{{\textbackslash}cal H\}{\_}1{\textdollar}
                  -Clauses with Path Disequalities},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_11},
  doi          = {10.1007/978-3-642-28729-9\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/SeidlR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/ToninhoCP12,
  author       = {Bernardo Toninho and
                  Lu{\'{\i}}s Caires and
                  Frank Pfenning},
  editor       = {Lars Birkedal},
  title        = {Functions as Session-Typed Processes},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {346--360},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_23},
  doi          = {10.1007/978-3-642-28729-9\_23},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fossacs/ToninhoCP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/Winskel12,
  author       = {Glynn Winskel},
  editor       = {Lars Birkedal},
  title        = {Bicategories of Concurrent Games - (Invited Paper)},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {26--41},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_2},
  doi          = {10.1007/978-3-642-28729-9\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Winskel12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fossacs/2012,
  editor       = {Lars Birkedal},
  title        = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9},
  doi          = {10.1007/978-3-642-28729-9},
  isbn         = {978-3-642-28728-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.