Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kirstin Peters
@article{DBLP:journals/lmcs/PetersNW23,
author = {Kirstin Peters and
Uwe Nestmann and
Christoph Wagner},
title = {{FTMPST:} Fault-Tolerant Multiparty Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:14)2023},
doi = {10.46298/LMCS-19(4:14)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PetersNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0002P23,
author = {Anna Schmitt and
Kirstin Peters},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Probabilistic Operational Correspondence},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.15},
doi = {10.4230/LIPICS.CONCUR.2023.15},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0002P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05218,
author = {Anna Schmitt and
Kirstin Peters},
title = {Probabilistic Operational Correspondence (Technical Report)},
journal = {CoRR},
volume = {abs/2307.05218},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05218},
doi = {10.48550/ARXIV.2307.05218},
eprinttype = {arXiv},
eprint = {2307.05218},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PetersNS22,
author = {Kirstin Peters and
Uwe Nestmann and
Anna Schmitt},
title = {On distributability},
journal = {Theor. Comput. Sci.},
volume = {913},
pages = {151--173},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.03.028},
doi = {10.1016/J.TCS.2022.03.028},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PetersNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetersNW22,
author = {Kirstin Peters and
Uwe Nestmann and
Christoph Wagner},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Fault-Tolerant Multiparty Session Types},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {93--113},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_7},
doi = {10.1007/978-3-031-08679-3\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/PetersNW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SchmittPD22,
author = {Anna Schmitt and
Kirstin Peters and
Yuxin Deng},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Encodability Criteria for Quantum Based Systems},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {151--169},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_10},
doi = {10.1007/978-3-031-08679-3\_10},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SchmittPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-06819,
author = {Kirstin Peters and
Nobuko Yoshida},
editor = {Valentina Castiglioni and
Claudio Antares Mezzina},
title = {On the Expressiveness of Mixed Choice Sessions},
booktitle = {Proceedings Combined 29th International Workshop on Expressiveness
in Concurrency and 19th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2022, and 19th Workshop on Structural Operational Semantics
Warsaw, Poland, 12th September 2022},
series = {{EPTCS}},
volume = {368},
pages = {113--130},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.368.7},
doi = {10.4204/EPTCS.368.7},
timestamp = {Sun, 12 Nov 2023 02:17:14 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06068,
author = {Anna Schmitt and
Kirstin Peters and
Yuxin Deng},
title = {Encodability Criteria for Quantum Based Systems (Technical Report)},
journal = {CoRR},
volume = {abs/2204.06068},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06068},
doi = {10.48550/ARXIV.2204.06068},
eprinttype = {arXiv},
eprint = {2204.06068},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07728,
author = {Kirstin Peters and
Uwe Nestmann and
Christoph Wagner},
title = {Fault-Tolerant Multiparty Session Types (Technical Report)},
journal = {CoRR},
volume = {abs/2204.07728},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07728},
doi = {10.48550/ARXIV.2204.07728},
eprinttype = {arXiv},
eprint = {2204.07728},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07041,
author = {Kirstin Peters and
Nobuko Yoshida},
title = {On the Expressiveness of Mixed Choice Sessions (Technical Report)},
journal = {CoRR},
volume = {abs/2208.07041},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.07041},
doi = {10.48550/ARXIV.2208.07041},
eprinttype = {arXiv},
eprint = {2208.07041},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-07041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2021,
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0},
doi = {10.1007/978-3-030-78089-0},
isbn = {978-3-030-78088-3},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BispingNP20,
author = {Benjamin Bisping and
Uwe Nestmann and
Kirstin Peters},
title = {Coupled similarity: the first 32 years},
journal = {Acta Informatica},
volume = {57},
number = {3-5},
pages = {439--463},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00356-4},
doi = {10.1007/S00236-019-00356-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BispingNP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PetersT20,
author = {Kirstin Peters and
Simone Tini},
title = {Preface to special issue: {EXPRESS/SOS} 2016 + 2017},
journal = {Acta Informatica},
volume = {57},
number = {6},
pages = {759--760},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00342-w},
doi = {10.1007/S00236-019-00342-W},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PetersT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PetersN20,
author = {Kirstin Peters and
Uwe Nestmann},
title = {Distributability of mobile ambients},
journal = {Inf. Comput.},
volume = {275},
pages = {104608},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104608},
doi = {10.1016/J.IC.2020.104608},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PetersN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PetersWN19,
author = {Kirstin Peters and
Christoph Wagner and
Uwe Nestmann},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Taming Concurrency for Verification Using Multiparty Session Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {196--215},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_12},
doi = {10.1007/978-3-030-32505-3\_12},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/ictac/PetersWN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08633,
author = {Kirstin Peters},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Comparing Process Calculi Using Encodings},
booktitle = {Proceedings Combined 26th International Workshop on Expressiveness
in Concurrency and 16th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
series = {{EPTCS}},
volume = {300},
pages = {19--38},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.2},
doi = {10.4204/EPTCS.300.2},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06510,
author = {Kirstin Peters and
Christoph Wagner and
Uwe Nestmann},
title = {Taming Concurrency for Verification Using Multiparty Session Types
(Technical Report)},
journal = {CoRR},
volume = {abs/1908.06510},
year = {2019},
url = {http://arxiv.org/abs/1908.06510},
eprinttype = {arXiv},
eprint = {1908.06510},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Log. Methods Comput. Sci.},
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 = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ArbachKPN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-09361,
author = {Kirstin Peters and
Uwe Nestmann},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {On the Distributability of Mobile Ambients},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {104--121},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.9},
doi = {10.4204/EPTCS.276.9},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09361.bib},
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},
eprinttype = {arXiv},
eprint = {1801.02857},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02857.bib},
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},
eprinttype = {arXiv},
eprint = {1808.01599},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-01599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AdameitPN17,
author = {Manuel Adameit and
Kirstin Peters and
Uwe Nestmann},
editor = {Ahmed Bouajjani and
Alexandra Silva},
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},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {1--16},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_1},
doi = {10.1007/978-3-319-60225-7\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AdameitPN17.bib},
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,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
year = {2017},
url = {http://arxiv.org/abs/1709.00049},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00049.bib},
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 = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/FLP.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/BispingBJRSSWPN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PetersN16,
author = {Kirstin Peters and
Uwe Nestmann},
title = {Breaking symmetries},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {1054--1106},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000346},
doi = {10.1017/S0960129514000346},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PetersN16.bib},
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 = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1459--1498},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000644},
doi = {10.1017/S0960129514000644},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PetersSGN16.bib},
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},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
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},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {107--122},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_7},
doi = {10.1007/978-3-319-43144-4\_7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/BispingBJRSSWPN16.bib},
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/journals/corr/GeblerP16.bib},
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},
eprinttype = {arXiv},
eprint = {1607.07286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdameitPN16.bib},
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 = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/Encodability\_Process\_Calculi.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/PetersG15.bib},
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},
editor = {Susanne Graf and
Mahesh Viswanathan},
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},
series = {Lecture Notes in Computer Science},
volume = {9039},
pages = {83--97},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19195-9\_6},
doi = {10.1007/978-3-319-19195-9\_6},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ArbachKPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersG15,
author = {Kirstin Peters and
Rob J. van Glabbeek},
editor = {Silvia Crafa and
Daniel Gebler},
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,
{EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015},
series = {{EPTCS}},
volume = {190},
pages = {46--60},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.4},
doi = {10.4204/EPTCS.190.4},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/PetersG15.bib},
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},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Encoding {CSP} into {CCS}},
booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness
in Concurrency and 12th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015},
series = {{EPTCS}},
volume = {190},
pages = {61--75},
year = {2015},
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/journals/corr/HatzelWPN15a.bib},
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},
eprinttype = {arXiv},
eprint = {1504.00512},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArbachKPN15.bib},
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},
eprinttype = {arXiv},
eprint = {1508.01127},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HatzelWPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersYN14a,
author = {Kirstin Peters and
Tsvetelina Yonova{-}Karbe and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Matching in the Pi-Calculus},
booktitle = {Proceedings Combined 21st International Workshop on Expressiveness
in Concurrency, {EXPRESS} 2014, and 11th Workshop on Structural Operational
Semantics, {SOS} 2014, Rome, Italy, 1st September 2014},
series = {{EPTCS}},
volume = {160},
pages = {16--29},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.3},
doi = {10.4204/EPTCS.160.3},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/PetersYN14a.bib},
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},
eprinttype = {arXiv},
eprint = {1407.6406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PetersYN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PetersNG13,
author = {Kirstin Peters and
Uwe Nestmann and
Ursula Goltz},
editor = {Matthias Felleisen and
Philippa Gardner},
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},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {310--329},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_18},
doi = {10.1007/978-3-642-37036-6\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/PetersNG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArbachPN13,
author = {Youssef Arbach and
Kirstin Peters and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Bas Luttik},
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},
series = {{EPTCS}},
volume = {120},
pages = {17--31},
year = {2013},
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/journals/corr/ArbachPN13.bib},
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 = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Peters12a.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 = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PetersN12.bib},
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},
eprinttype = {arXiv},
eprint = {1201.1410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-1410.bib},
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},
editor = {Bas Luttik and
Frank Valencia},
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},
series = {{EPTCS}},
volume = {64},
pages = {89--103},
year = {2011},
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/journals/corr/abs-1108-4469.bib},
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},
editor = {Bas Luttik and
Frank Valencia},
title = {Synchrony vs. Causality in Asynchronous Petri Nets},
booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {64},
pages = {119--131},
year = {2011},
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/journals/corr/abs-1108-4471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6437,
author = {Kirstin Peters and
Uwe Nestmann},
editor = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Breaking Symmetries},
booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
EXPRESS'10, Paris, France, August 30th, 2010},
series = {{EPTCS}},
volume = {41},
pages = {136--150},
year = {2010},
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/journals/corr/abs-1011-6437.bib},
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},
eprinttype = {arXiv},
eprint = {1007.4172},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BahrsMP07,
author = {Julian Bahrs and
Benedikt Meuthrath and
Kirstin Peters},
editor = {Heinz{-}Gerd Hegering and
Axel Lehmann and
Hans J{\"{u}}rgen Ohlbach and
Christian Scheideler},
title = {Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener
Informationslandschaft},
booktitle = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
8-13, 2008, Band 1},
series = {{LNI}},
volume = {{P-133}},
pages = {365--371},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21392},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BahrsMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
