BibTeX records: Kirstin Peters

download as .bib file

@article{DBLP:journals/lmcs/ArbachKPN18,
  author    = {Youssef Arbach and
               David S. Karcher and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Dynamic Causality in Event Structures},
  journal   = {Logical Methods in Computer Science},
  volume    = {14},
  number    = {1},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(1:17)2018},
  doi       = {10.23638/LMCS-14(1:17)2018},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/ArbachKPN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-09361,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {On the Distributability of Mobile Ambients},
  booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
               in Concurrency and 15th Workshop on Structural Operational Semantics
               and 15th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2018, Beijing, China, September 3, 2018.},
  pages     = {104--121},
  year      = {2018},
  crossref  = {DBLP:journals/corr/abs-1808-08071},
  url       = {https://doi.org/10.4204/EPTCS.276.9},
  doi       = {10.4204/EPTCS.276.9},
  timestamp = {Tue, 11 Sep 2018 14:43:41 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-09361},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02857,
  author    = {Youssef Arbach and
               David S. Karcher and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Dynamic Causality in Event Structures},
  journal   = {CoRR},
  volume    = {abs/1801.02857},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.02857},
  archivePrefix = {arXiv},
  eprint    = {1801.02857},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-02857},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-01599,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {On the Distributability of Mobile Ambients (Technical Report)},
  journal   = {CoRR},
  volume    = {abs/1808.01599},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.01599},
  archivePrefix = {arXiv},
  eprint    = {1808.01599},
  timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-01599},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AdameitPN17,
  author    = {Manuel Adameit and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Session Types for Link Failures},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {1--16},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_1},
  doi       = {10.1007/978-3-319-60225-7\_1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/AdameitPN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-00049,
  editor    = {Kirstin Peters and
               Simone Tini},
  title     = {Proceedings Combined 24th International Workshop on Expressiveness
               in Concurrency and 14th Workshop on Structural Operational Semantics
               and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2017, Berlin, Germany, 4th September 2017},
  series    = {{EPTCS}},
  volume    = {255},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.00049},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-00049},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BispingBJRSSWPN16,
  author    = {Benjamin Bisping and
               Paul{-}David Brodmann and
               Tim Jungnickel and
               Christina Rickmann and
               Henning Seidler and
               Anke St{\"{u}}ber and
               Arno Wilhelm{-}Weidner and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {A Constructive Proof for {FLP}},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/FLP.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/BispingBJRSSWPN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PetersN16,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {Breaking symmetries},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {6},
  pages     = {1054--1106},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000346},
  doi       = {10.1017/S0960129514000346},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/PetersN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PetersSGN16,
  author    = {Kirstin Peters and
               Jens{-}Wolfhard Schicke{-}Uffmann and
               Ursula Goltz and
               Uwe Nestmann},
  title     = {Synchrony versus causality in distributed systems},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {8},
  pages     = {1459--1498},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000644},
  doi       = {10.1017/S0960129514000644},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/PetersSGN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BispingBJRSSWPN16,
  author    = {Benjamin Bisping and
               Paul{-}David Brodmann and
               Tim Jungnickel and
               Christina Rickmann and
               Henning Seidler and
               Anke St{\"{u}}ber and
               Arno Wilhelm{-}Weidner and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Mechanical Verification of a Constructive Proof for {FLP}},
  booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
               2016, Nancy, France, August 22-25, 2016, Proceedings},
  pages     = {107--122},
  year      = {2016},
  crossref  = {DBLP:conf/itp/2016},
  url       = {https://doi.org/10.1007/978-3-319-43144-4\_7},
  doi       = {10.1007/978-3-319-43144-4\_7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BispingBJRSSWPN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GeblerP16,
  editor    = {Daniel Gebler and
               Kirstin Peters},
  title     = {Proceedings Combined 23rd International Workshop on Expressiveness
               in Concurrency and 13th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
  series    = {{EPTCS}},
  volume    = {222},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.222},
  doi       = {10.4204/EPTCS.222},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GeblerP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdameitPN16,
  author    = {Manuel Adameit and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Session Types for Link Failures (Technical Report)},
  journal   = {CoRR},
  volume    = {abs/1607.07286},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.07286},
  archivePrefix = {arXiv},
  eprint    = {1607.07286},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AdameitPN16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/PetersG15,
  author    = {Kirstin Peters and
               Rob J. van Glabbeek},
  title     = {Analysing and Comparing Encodability Criteria for Process Calculi},
  journal   = {Archive of Formal Proofs},
  volume    = {2015},
  year      = {2015},
  url       = {https://www.isa-afp.org/entries/Encodability\_Process\_Calculi.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/PetersG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArbachKPN15,
  author    = {Youssef Arbach and
               David Karcher and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Dynamic Causality in Event Structures},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  pages     = {83--97},
  year      = {2015},
  crossref  = {DBLP:conf/forte/2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9\_6},
  doi       = {10.1007/978-3-319-19195-9\_6},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ArbachKPN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersG15,
  author    = {Kirstin Peters and
               Rob J. van Glabbeek},
  title     = {Analysing and Comparing Encodability Criteria},
  booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness
               in Concurrency and 12th Workshop on Structural Operational Semantics,
               and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2015, Madrid, Spain, 31st August 2015.},
  pages     = {46--60},
  year      = {2015},
  crossref  = {DBLP:journals/corr/CrafaG15},
  url       = {https://doi.org/10.4204/EPTCS.190.4},
  doi       = {10.4204/EPTCS.190.4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PetersG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HatzelWPN15a,
  author    = {Meike Hatzel and
               Christoph Wagner and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Encoding {CSP} into {CCS}},
  booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness
               in Concurrency and 12th Workshop on Structural Operational Semantics,
               and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2015, Madrid, Spain, 31st August 2015.},
  pages     = {61--75},
  year      = {2015},
  crossref  = {DBLP:journals/corr/CrafaG15},
  url       = {https://doi.org/10.4204/EPTCS.190.5},
  doi       = {10.4204/EPTCS.190.5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HatzelWPN15a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArbachKPN15,
  author    = {Youssef Arbach and
               David Karcher and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Dynamic Causality in Event Structures (Technical Report)},
  journal   = {CoRR},
  volume    = {abs/1504.00512},
  year      = {2015},
  url       = {http://arxiv.org/abs/1504.00512},
  archivePrefix = {arXiv},
  eprint    = {1504.00512},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ArbachKPN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HatzelWPN15,
  author    = {Meike Hatzel and
               Christoph Wagner and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Encoding {CSP} into {CCS} (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1508.01127},
  year      = {2015},
  url       = {http://arxiv.org/abs/1508.01127},
  archivePrefix = {arXiv},
  eprint    = {1508.01127},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HatzelWPN15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersYN14a,
  author    = {Kirstin Peters and
               Tsvetelina Yonova{-}Karbe and
               Uwe Nestmann},
  title     = {Matching in the Pi-Calculus},
  booktitle = {Proceedings Combined 21st International Workshop on Expressiveness
               in Concurrency and 11th Workshop on Structural Operational Semantics,
               {EXPRESS} 2014, and 11th Workshop on Structural Operational Semantics,
               {SOS} 2014, Rome, Italy, 1st September 2014.},
  pages     = {16--29},
  year      = {2014},
  crossref  = {DBLP:journals/corr/BorgstromC14},
  url       = {https://doi.org/10.4204/EPTCS.160.3},
  doi       = {10.4204/EPTCS.160.3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PetersYN14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PetersYN14,
  author    = {Kirstin Peters and
               Tsvetelina Yonova{-}Karbe and
               Uwe Nestmann},
  title     = {Matching in the Pi-Calculus (Technical Report)},
  journal   = {CoRR},
  volume    = {abs/1407.6406},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.6406},
  archivePrefix = {arXiv},
  eprint    = {1407.6406},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PetersYN14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PetersNG13,
  author    = {Kirstin Peters and
               Uwe Nestmann and
               Ursula Goltz},
  title     = {On Distributability in Process Calculi},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  pages     = {310--329},
  year      = {2013},
  crossref  = {DBLP:conf/esop/2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6\_18},
  doi       = {10.1007/978-3-642-37036-6\_18},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esop/PetersNG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArbachPN13,
  author    = {Youssef Arbach and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Adding Priority to Event Structures},
  booktitle = {Proceedings Combined 20th International Workshop on Expressiveness
               in Concurrency and 10th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013.},
  pages     = {17--31},
  year      = {2013},
  crossref  = {DBLP:journals/corr/BorgstromL13},
  url       = {https://doi.org/10.4204/EPTCS.120.3},
  doi       = {10.4204/EPTCS.120.3},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ArbachPN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Peters12a,
  author    = {Kirstin Peters},
  title     = {Translational Expressiveness. Comparing Process Calculi using Encodings},
  school    = {Berlin Institute of Technology},
  year      = {2012},
  url       = {http://opus.kobv.de/tuberlin/volltexte/2012/3749/},
  urn       = {urn:nbn:de:kobv:83-opus-37495},
  timestamp = {Fri, 15 Apr 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Peters12a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PetersN12,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  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},
  pages     = {210--224},
  year      = {2012},
  crossref  = {DBLP:conf/fossacs/2012},
  url       = {https://doi.org/10.1007/978-3-642-28729-9\_14},
  doi       = {10.1007/978-3-642-28729-9\_14},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/PetersN12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-1410,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {Is it a "Good" Encoding of Mixed Choice? (Technical Report)},
  journal   = {CoRR},
  volume    = {abs/1201.1410},
  year      = {2012},
  url       = {http://arxiv.org/abs/1201.1410},
  archivePrefix = {arXiv},
  eprint    = {1201.1410},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1201-1410},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4469,
  author    = {Kirstin Peters and
               Jens{-}Wolfhard Schicke and
               Uwe Nestmann},
  title     = {Synchrony vs Causality in the Asynchronous Pi-Calculus},
  booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
               {EXPRESS} 2011, Aachen, Germany, 5th September 2011.},
  pages     = {89--103},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-4077},
  url       = {https://doi.org/10.4204/EPTCS.64.7},
  doi       = {10.4204/EPTCS.64.7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-4469},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4471,
  author    = {Jens{-}Wolfhard Schicke and
               Kirstin Peters and
               Ursula Goltz},
  title     = {Synchrony vs. Causality in Asynchronous Petri Nets},
  booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
               {EXPRESS} 2011, Aachen, Germany, 5th September 2011.},
  pages     = {119--131},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1108-4077},
  url       = {https://doi.org/10.4204/EPTCS.64.9},
  doi       = {10.4204/EPTCS.64.9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-4471},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6437,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {Breaking Symmetries},
  booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
               EXPRESS'10, Paris, France, August 30th, 2010.},
  pages     = {136--150},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1011-6012},
  url       = {https://doi.org/10.4204/EPTCS.41.10},
  doi       = {10.4204/EPTCS.41.10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1011-6437},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4172,
  author    = {Kirstin Peters and
               Uwe Nestmann},
  title     = {Breaking Symmetries},
  journal   = {CoRR},
  volume    = {abs/1007.4172},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.4172},
  archivePrefix = {arXiv},
  eprint    = {1007.4172},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1007-4172},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BahrsMP07,
  author    = {Julian Bahrs and
               Benedikt Meuthrath and
               Kirstin Peters},
  title     = {Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener
               Informationslandschaft},
  booktitle = {{INFORMATIK} 2008, Beherrschbare Systeme - dank Informatik, Band 1,
               Beitr{\"{a}}ge der 38. Jahrestagung der Gesellschaft f{\"{u}}r
               Informatik e.V. (GI), 8. - 13. September, in M{\"{u}}nchen, Deutschland},
  pages     = {365--371},
  year      = {2008},
  crossref  = {DBLP:conf/gi/2008-1},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings133/article5182.html},
  timestamp = {Tue, 15 Mar 2016 16:45:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/BahrsMP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1808-08071,
  editor    = {Jorge A. P{\'{e}}rez and
               Simone Tini},
  title     = {Proceedings Combined 25th International Workshop on Expressiveness
               in Concurrency and 15th Workshop on Structural Operational Semantics
               and 15th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2018, Beijing, China, September 3, 2018},
  series    = {{EPTCS}},
  volume    = {276},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.276},
  doi       = {10.4204/EPTCS.276},
  timestamp = {Tue, 11 Sep 2018 14:43:41 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-08071},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2017,
  editor    = {Ahmed Bouajjani and
               Alexandra Silva},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10321},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7},
  doi       = {10.1007/978-3-319-60225-7},
  isbn      = {978-3-319-60224-0},
  timestamp = {Tue, 06 Jun 2017 17:27:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2016,
  editor    = {Jasmin Christian Blanchette and
               Stephan Merz},
  title     = {Interactive Theorem Proving - 7th International Conference, {ITP}
               2016, Nancy, France, August 22-25, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9807},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-43144-4},
  doi       = {10.1007/978-3-319-43144-4},
  isbn      = {978-3-319-43143-7},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2015,
  editor    = {Susanne Graf and
               Mahesh Viswanathan},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9039},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9},
  doi       = {10.1007/978-3-319-19195-9},
  isbn      = {978-3-319-19194-2},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CrafaG15,
  editor    = {Silvia Crafa and
               Daniel Gebler},
  title     = {Proceedings of the Combined 22th International Workshop on Expressiveness
               in Concurrency and 12th Workshop on Structural Operational Semantics,
               and 12th Workshop on Structural Operational Semantics, {EXPRESS/SOS}
               2015, Madrid, Spain, 31st August 2015},
  series    = {{EPTCS}},
  volume    = {190},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.190},
  doi       = {10.4204/EPTCS.190},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CrafaG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromC14,
  editor    = {Johannes Borgstr{\"{o}}m and
               Silvia Crafa},
  title     = {Proceedings Combined 21st International Workshop on Expressiveness
               in Concurrency and 11th Workshop on Structural Operational Semantics,
               {EXPRESS} 2014, and 11th Workshop on Structural Operational Semantics,
               {SOS} 2014, Rome, Italy, 1st September 2014},
  series    = {{EPTCS}},
  volume    = {160},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.160},
  doi       = {10.4204/EPTCS.160},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BorgstromC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2013,
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7792},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6},
  doi       = {10.1007/978-3-642-37036-6},
  isbn      = {978-3-642-37035-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromL13,
  editor    = {Johannes Borgstr{\"{o}}m and
               Bas Luttik},
  title     = {Proceedings Combined 20th International Workshop on Expressiveness
               in Concurrency and 10th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series    = {{EPTCS}},
  volume    = {120},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.120},
  doi       = {10.4204/EPTCS.120},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BorgstromL13},
  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 = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-4077,
  editor    = {Bas Luttik and
               Frank Valencia},
  title     = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
               {EXPRESS} 2011, Aachen, Germany, 5th September 2011},
  series    = {{EPTCS}},
  volume    = {64},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.64},
  doi       = {10.4204/EPTCS.64},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-4077},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1011-6012,
  editor    = {Sibylle B. Fr{\"{o}}schle and
               Frank D. Valencia},
  title     = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
               EXPRESS'10, Paris, France, August 30th, 2010},
  series    = {{EPTCS}},
  volume    = {41},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.41},
  doi       = {10.4204/EPTCS.41},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1011-6012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2008-1,
  editor    = {Heinz{-}Gerd Hegering and
               Axel Lehmann and
               Hans J{\"{u}}rgen Ohlbach and
               Christian Scheideler},
  title     = {{INFORMATIK} 2008, Beherrschbare Systeme - dank Informatik, Band 1,
               Beitr{\"{a}}ge der 38. Jahrestagung der Gesellschaft f{\"{u}}r
               Informatik e.V. (GI), 8. - 13. September, in M{\"{u}}nchen, Deutschland},
  series    = {{LNI}},
  volume    = {133},
  publisher = {{GI}},
  year      = {2008},
  isbn      = {978-3-88579-227-7},
  timestamp = {Tue, 15 Mar 2016 16:45:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2008-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier