Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Uwe Nestmann
@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/ictac/KarstenN23,
author = {Nadine Karsten and
Uwe Nestmann},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Store Locally, Prove Globally},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {351--369},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_21},
doi = {10.1007/978-3-031-47963-2\_21},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KarstenN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-06970,
author = {Nadine Karsten and
Frederik Krogsdal Jacobsen and
Kim Jana Eiken and
Uwe Nestmann and
J{\o}rgen Villadsen},
editor = {Elena Machkasova},
title = {ProofBuddy: {A} Proof Assistant for Learning and Monitoring},
booktitle = {Proceedings Twelfth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
12th January 2023},
series = {{EPTCS}},
volume = {382},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.382.1},
doi = {10.4204/EPTCS.382.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BispingJN22,
author = {Benjamin Bisping and
David N. Jansen and
Uwe Nestmann},
title = {Deciding All Behavioral Equivalences at Once: {A} Game for Linear-Time-Branching-Time
Spectroscopy},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:19)2022},
doi = {10.46298/LMCS-18(3:19)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BispingJN22.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/delfi/KarstenN22,
author = {Nadine Karsten and
Uwe Nestmann},
editor = {Peter A. Henning and
Michael Striewe and
Matthias W{\"{o}}lfel},
title = {Beweiskompetenz durch Beweisassistenz},
booktitle = {{DELFI} 2022, Die 20. Fachtagung Bildungstechnologien der Gesellschaft
f{\"{u}}r Informatik e.V., 12.-14. September 2022, Karlsruhe},
series = {{LNI}},
volume = {{P-322}},
pages = {227--228},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/delfi2022-044},
doi = {10.18420/DELFI2022-044},
timestamp = {Tue, 23 Aug 2022 14:37:33 +0200},
biburl = {https://dblp.org/rec/conf/delfi/KarstenN22.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}
}
@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}
}
@inproceedings{DBLP:conf/tacas/BispingN21,
author = {Benjamin Bisping and
Uwe Nestmann},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {A Game for Linear-time-Branching-time Spectroscopy},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {3--19},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_1},
doi = {10.1007/978-3-030-72016-2\_1},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BispingN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-15295,
author = {Benjamin Bisping and
Uwe Nestmann},
title = {Deciding All Behavioral Equivalences at Once: {A} Game for Linear-time-Branching-time
Spectroscopy},
journal = {CoRR},
volume = {abs/2109.15295},
year = {2021},
url = {https://arxiv.org/abs/2109.15295},
eprinttype = {arXiv},
eprint = {2109.15295},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-15295.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/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/cav/KammullerN20,
author = {Florian Kamm{\"{u}}ller and
Uwe Nestmann},
editor = {Bruno Bernardo and
Diego Marmsoler},
title = {Inter-Blockchain Protocols with the Isabelle Infrastructure Framework},
booktitle = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
series = {OASIcs},
volume = {84},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.FMBC.2020.11},
doi = {10.4230/OASICS.FMBC.2020.11},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/cav/KammullerN20.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:conf/tacas/BispingN19,
author = {Benjamin Bisping and
Uwe Nestmann},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Computing Coupled Similarity},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {244--261},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_14},
doi = {10.1007/978-3-030-17462-0\_14},
timestamp = {Fri, 31 Jan 2020 21:32:25 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BispingN19.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:conf/wipsce/WolfWN18,
author = {Alexander Wolf and
Arno Wilhelm{-}Weidner and
Uwe Nestmann},
editor = {Andreas M{\"{u}}hling and
Quintin I. Cutts},
title = {A case study of flipped classroom for automata theory in secondary
education},
booktitle = {Proceedings of the 13th Workshop in Primary and Secondary Computing
Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018},
pages = {23:1--23:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3265757.3265780},
doi = {10.1145/3265757.3265780},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/WolfWN18.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:conf/concur/2017,
editor = {Roland Meyer and
Uwe Nestmann},
title = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-048-4},
isbn = {978-3-95977-048-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2017.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/deds/SchmuckSRN16,
author = {Anne{-}Kathrin Schmuck and
Sven Schneider and
J{\"{o}}rg Raisch and
Uwe Nestmann},
title = {Supervisory control synthesis for deterministic context free specification
languages - Enforcing controllability least restrictively},
journal = {Discret. Event Dyn. Syst.},
volume = {26},
number = {1},
pages = {5--32},
year = {2016},
url = {https://doi.org/10.1007/s10626-015-0221-2},
doi = {10.1007/S10626-015-0221-2},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/SchmuckSRN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GorlaN16,
author = {Daniele Gorla and
Uwe Nestmann},
title = {Full abstraction for expressiveness: history, myths and facts},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {639--654},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000279},
doi = {10.1017/S0960129514000279},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GorlaN16.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/concur/RickmannWNS16,
author = {Christina Rickmann and
Christoph Wagner and
Uwe Nestmann and
Stefan Schmid},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Topological Self-Stabilization with Name-Passing Process Calculi},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {19:1--19:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.19},
doi = {10.4230/LIPICS.CONCUR.2016.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/RickmannWNS16.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}
}
@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}
}
@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:conf/ictac/KarcherN15,
author = {David S. Karcher and
Uwe Nestmann},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Higher-Order Dynamics in Event Structures},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {258--271},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_16},
doi = {10.1007/978-3-319-25150-9\_16},
timestamp = {Sat, 19 Oct 2019 20:17:56 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KarcherN15.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 = {Wed, 09 Oct 2019 16:19:29 +0200},
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:conf/wodes/SchneiderSNR14,
author = {Sven Schneider and
Anne{-}Kathrin Schmuck and
Uwe Nestmann and
J{\"{o}}rg Raisch},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Reducing an Operational Supervisory Control Problem by Decomposition
for Deterministic Pushdown Automata},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {214--221},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00057},
doi = {10.3182/20140514-3-FR-4046.00057},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchneiderSNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/SchmuckSRN14,
author = {Anne{-}Kathrin Schmuck and
Sven Schneider and
J{\"{o}}rg Raisch and
Uwe Nestmann},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Extending Supervisory Controller Synthesis to Deterministic Pushdown
Automata - Enforcing Controllability Least Restrictively},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {286--293},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00058},
doi = {10.3182/20140514-3-FR-4046.00058},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/SchmuckSRN14.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}
}
@inproceedings{DBLP:journals/corr/WagnerN14,
author = {Christoph Wagner and
Uwe Nestmann},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {States in Process Calculi},
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 = {48--62},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.6},
doi = {10.4204/EPTCS.160.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WagnerN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchneiderN14,
author = {Sven Schneider and
Uwe Nestmann},
title = {Enforcing Operational Properties including Blockfreeness for Deterministic
Pushdown Automata},
journal = {CoRR},
volume = {abs/1403.5081},
year = {2014},
url = {http://arxiv.org/abs/1403.5081},
eprinttype = {arXiv},
eprint = {1403.5081},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderN14.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}
}
@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}
}
@inproceedings{DBLP:conf/ifipTCS/KufnerNR12,
author = {Philipp K{\"{u}}fner and
Uwe Nestmann and
Christina Rickmann},
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {Formal Verification of Distributed Algorithms - From Pseudo Code to
Checked Proofs},
booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {209--224},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7\_15},
doi = {10.1007/978-3-642-33475-7\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/KufnerNR12.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:conf/formats/SchneiderN11,
author = {Sven Schneider and
Uwe Nestmann},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Rigorous Discretization of Hybrid Systems Using Process Calculi},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {301--316},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_21},
doi = {10.1007/978-3-642-24310-3\_21},
timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/SchneiderN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AbelsBMNV11,
author = {Sven Abels and
Stefan Br{\"{u}}ggemann and
Matthias Mertens and
Uwe Nestmann and
Joannis Vlachakis},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Vorwort},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {395--396},
publisher = {{GI}},
year = {2011},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings192/article162.html},
timestamp = {Wed, 13 Jan 2021 10:31:51 +0100},
biburl = {https://dblp.org/rec/conf/gi/AbelsBMNV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LauN11,
author = {Hannes Lau and
Uwe Nestmann},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Java Goes {TLA+}},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.44},
doi = {10.1109/TASE.2011.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LauN11.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:conf/gi/SarrouhBN10,
author = {Nadim Sarrouh and
Oliver Blankenstein and
Uwe Nestmann},
editor = {Klaus{-}Peter F{\"{a}}hnrich and
Bogdan Franczyk},
title = {Service-Orientierte Unterst{\"{u}}tzung des nationalen Fr{\"{u}}herkennungsprogramms
f{\"{u}}r Kinder},
booktitle = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
2010, Leipzig, Germany, September 27 - October 1, 2010, Band 1},
series = {{LNI}},
volume = {{P-175}},
pages = {229--234},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19206},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SarrouhBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/SarrouhENS10,
author = {Nadim Sarrouh and
Florian Eilers and
Uwe Nestmann and
Ina Schieferdecker},
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner and
Javier L{\'{o}}pez},
title = {Defamation-Free Networks through User-Centered Data Control},
booktitle = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
pages = {179--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22444-7\_12},
doi = {10.1007/978-3-642-22444-7\_12},
timestamp = {Tue, 07 May 2024 20:13:56 +0200},
biburl = {https://dblp.org/rec/conf/stm/SarrouhENS10.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}
}
@article{DBLP:journals/jlp/AcetoBFIN09,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Preface},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {4},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.11.001},
doi = {10.1016/J.JLAP.2008.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoBFIN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KuhnrichN09,
author = {Morten K{\"{u}}hnrich and
Uwe Nestmann},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {On Process-Algebraic Proof Methods for Fault Tolerant Distributed
Systems},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {198--212},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_13},
doi = {10.1007/978-3-642-02138-1\_13},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/KuhnrichN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/EilersN09,
author = {Florian Eilers and
Uwe Nestmann},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Deriving Trust from Experience},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_4},
doi = {10.1007/978-3-642-12459-4\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/EilersN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoBFIN08,
author = {Luca Aceto and
Jos C. M. Baeten and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Uwe Nestmann},
title = {Applying Concurrency Research in Industry Report on a Strategic Workshop},
journal = {Bull. {EATCS}},
volume = {94},
pages = {113--129},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoBFIN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtb/0001BN08,
author = {Sven Schneider and
Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
editor = {Bernd Mahr and
Huanye Sheng},
title = {Towards the Application of Process Calculi in the Domain of Peer-to-Peer
Algorithms},
booktitle = {Autonomous Systems - Self-Organization, Management, and Control, Proceedings
of the 8th International Workshop held at Shanghai Jiao Tong University,
Shanghai, China, October 6-7, 2008},
pages = {97--104},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-1-4020-8889-6\_11},
doi = {10.1007/978-1-4020-8889-6\_11},
timestamp = {Tue, 12 Jan 2021 12:26:52 +0100},
biburl = {https://dblp.org/rec/conf/jtb/0001BN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FuzzatiMN07,
author = {Rachele Fuzzati and
Massimo Merro and
Uwe Nestmann},
title = {Distributed Consensus, revisited},
journal = {Acta Informatica},
volume = {44},
number = {6},
pages = {377--425},
year = {2007},
url = {https://doi.org/10.1007/s00236-007-0052-1},
doi = {10.1007/S00236-007-0052-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/FuzzatiMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BriaisN07a,
author = {S{\'{e}}bastien Briais and
Uwe Nestmann},
title = {Open bisimulation, revisited},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {3},
pages = {236--271},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.010},
doi = {10.1016/J.TCS.2007.07.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BriaisN07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BriaisN07,
author = {S{\'{e}}bastien Briais and
Uwe Nestmann},
title = {A formal semantics for protocol narrations},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {3},
pages = {484--511},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.005},
doi = {10.1016/J.TCS.2007.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BriaisN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Nestmann06,
author = {Uwe Nestmann},
editor = {Christel Baier and
Holger Hermanns},
title = {Welcome to the Jungle: {A} Subjective Guide to Mobile Process Calculi},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {52--63},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_4},
doi = {10.1007/11817949\_4},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/Nestmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dics/BunzliFMNRSW06,
author = {Daniel C. B{\"{u}}nzli and
Rachele Fuzzati and
Sergio Mena and
Uwe Nestmann and
Olivier R{\"{u}}tti and
Andr{\'{e}} Schiper and
Pawel T. Wojciechowski},
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Advances in the Design and Implementation of Group Communication Middleware},
booktitle = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
pages = {172--194},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107\_8},
doi = {10.1007/11808107\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dics/BunzliFMNRSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NestmannV05,
author = {Uwe Nestmann and
Bj{\"{o}}rn Victor},
title = {Guest editors' introduction: Special issue on The pi-calculus},
journal = {J. Log. Algebraic Methods Program.},
volume = {63},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.002},
doi = {10.1016/J.JLAP.2004.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/NestmannV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BorgstromN05,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
title = {On bisimulations for the spi calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {3},
pages = {487--552},
year = {2005},
url = {https://doi.org/10.1017/S0960129505004706},
doi = {10.1017/S0960129505004706},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BorgstromN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CorradiniN05,
author = {Flavio Corradini and
Uwe Nestmann},
title = {{EDITORIAL:} Selected papers of the tenth international workshop on
expressiveness in concurrency {(EXPRESS} 2003)},
journal = {Theor. Comput. Sci.},
volume = {330},
number = {3},
pages = {375--376},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.002},
doi = {10.1016/J.TCS.2004.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CorradiniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/BunzliMN05,
author = {Daniel C. B{\"{u}}nzli and
Sergio Mena and
Uwe Nestmann},
title = {Protocol Composition Frameworks {A} Header-Driven Model},
booktitle = {Fourth {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2005), 27-29 July 2005, Cambridge, MA, {USA}},
pages = {243--246},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/NCA.2005.41},
doi = {10.1109/NCA.2005.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/BunzliMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BriaisN05,
author = {S{\'{e}}bastien Briais and
Uwe Nestmann},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {A Formal Semantics for Protocol Narrations},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {163--181},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_10},
doi = {10.1007/11580850\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BriaisN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BriaisN06,
author = {S{\'{e}}bastien Briais and
Uwe Nestmann},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Open Bisimulation, Revisited},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {109--123},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.010},
doi = {10.1016/J.ENTCS.2006.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BriaisN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FuzzatiN06,
author = {Rachele Fuzzati and
Uwe Nestmann},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Much Ado About Nothing?},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {167--171},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.082},
doi = {10.1016/J.ENTCS.2005.12.082},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FuzzatiN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BorgstromBN04,
author = {Johannes Borgstr{\"{o}}m and
S{\'{e}}bastien Briais and
Uwe Nestmann},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Symbolic Bisimulation in the Spi Calculus},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {161--176},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_11},
doi = {10.1007/978-3-540-28644-8\_11},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BorgstromBN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BorgstromNAG04,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann and
Luc Onana Alima and
Dilian Gurov},
editor = {Corrado Priami and
Paola Quaglia},
title = {Verifying a Structured Peer-to-Peer Overlay Network: The Static Case},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {250--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_13},
doi = {10.1007/978-3-540-31794-4\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gc/BorgstromNAG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2003,
editor = {Flavio Corradini and
Uwe Nestmann},
title = {Proceedings of the 10th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2003, Marseille, France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {96},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/96/suppl/C},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NestmannP03,
author = {Uwe Nestmann and
Prakash Panangaden},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {10},
number = {2},
pages = {69},
year = {2003},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NestmannP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/NestmannF03,
author = {Uwe Nestmann and
Rachele Fuzzati},
editor = {Vijay A. Saraswat},
title = {Unreliable Failure Detectors via Operational Semantics},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {54--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_5},
doi = {10.1007/978-3-540-40965-6\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/NestmannF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NestmannFM03,
author = {Uwe Nestmann and
Rachele Fuzzati and
Massimo Merro},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Modeling Consensus in a Process Calculus},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {393--407},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_26},
doi = {10.1007/978-3-540-45187-7\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NestmannFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniN04,
author = {Flavio Corradini and
Uwe Nestmann},
editor = {Flavio Corradini and
Uwe Nestmann},
title = {Foreword: Proceedings of the 10th International Workshop on Expressiveness
in Concurrency},
booktitle = {Proceedings of the 10th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2003, Marseille, France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {96},
pages = {1--3},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.018},
doi = {10.1016/J.ENTCS.2004.04.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2003,
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94120},
doi = {10.1007/B94120},
isbn = {3-540-20491-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NestmannHKM02,
author = {Uwe Nestmann and
Hans H{\"{u}}ttel and
Josva Kleist and
Massimo Merro},
title = {Aliasing Models for Mobile Objects},
journal = {Inf. Comput.},
volume = {175},
number = {1},
pages = {3--33},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3104},
doi = {10.1006/INCO.2001.3104},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NestmannHKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MerroKN02,
author = {Massimo Merro and
Josva Kleist and
Uwe Nestmann},
title = {Mobile Objects as Mobile Processes},
journal = {Inf. Comput.},
volume = {177},
number = {2},
pages = {195--241},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3172},
doi = {10.1006/INCO.2002.3172},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MerroKN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BorgstromN02,
author = {Johannes Borgstr{\"{o}}m and
Uwe Nestmann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {On Bisimulations for the Spi Calculus},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {287--303},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_20},
doi = {10.1007/3-540-45719-4\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BorgstromN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BriaisN02,
author = {S{\'{e}}bastien Briais and
Uwe Nestmann},
editor = {Bart Jacobs and
Arend Rensink},
title = {Mobile Objects "Must" Move Safely},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {129--146},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BriaisN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NestmannP02,
author = {Uwe Nestmann and
Prakash Panangaden},
editor = {Uwe Nestmann and
Prakash Panangaden},
title = {Preface},
booktitle = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80358-5},
doi = {10.1016/S1571-0661(05)80358-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NestmannP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/2002,
editor = {Uwe Nestmann and
Prakash Panangaden},
title = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/2},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Nestmann00,
author = {Uwe Nestmann},
title = {What is a "Good" Encoding of Guarded Choice?},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {287--319},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2822},
doi = {10.1006/INCO.1999.2822},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Nestmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NestmannP00,
author = {Uwe Nestmann and
Benjamin C. Pierce},
title = {Decoding Choice Encodings},
journal = {Inf. Comput.},
volume = {163},
number = {1},
pages = {1--59},
year = {2000},
url = {https://doi.org/10.1006/inco.2000.2868},
doi = {10.1006/INCO.2000.2868},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NestmannP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/MerroKN00,
author = {Massimo Merro and
Josva Kleist and
Uwe Nestmann},
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Local pi-Calculus at Work: Mobile Objects as Mobile Processes},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
pages = {390--408},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9\_28},
doi = {10.1007/3-540-44929-9\_28},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/MerroKN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/NestmannR99,
author = {Uwe Nestmann and
Ant{\'{o}}nio Ravara},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Semantics of Objects as Processes {(SOAP)}},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {314--325},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46589-8\_18},
doi = {10.1007/3-540-46589-8\_18},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/NestmannR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/NestmannHKM99,
author = {Uwe Nestmann and
Hans H{\"{u}}ttel and
Josva Kleist and
Massimo Merro},
editor = {Patrick Amestoy and
Philippe Berger and
Michel J. Dayd{\'{e}} and
Iain S. Duff and
Val{\'{e}}rie Frayss{\'{e}} and
Luc Giraud and
Daniel Ruiz},
title = {Aliasing Models for Object Migration},
booktitle = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
Toulouse, France, August 31 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1685},
pages = {1353--1368},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48311-X\_191},
doi = {10.1007/3-540-48311-X\_191},
timestamp = {Tue, 04 Jun 2019 14:36:07 +0200},
biburl = {https://dblp.org/rec/conf/europar/NestmannHKM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Nestmann99,
author = {Uwe Nestmann},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Mobile Objects (a project overview)},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {155--164},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 27 Mar 2003 09:47:32 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Nestmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/NestmannV98,
author = {Uwe Nestmann and
Bj{\"{o}}rn Victor},
title = {Calculi for Mobile Processes - Bibliography and Web Pages},
journal = {Bull. {EATCS}},
volume = {64},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/NestmannV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nestmann98,
author = {Uwe Nestmann},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {On the Expressive Power of Joint Input},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {145--152},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00123-9},
doi = {10.1016/S1571-0661(04)00123-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nestmann98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NestmannP98,
author = {Uwe Nestmann and
Benjamin C. Pierce},
editor = {Uwe Nestmann and
Benjamin C. Pierce},
title = {Preface},
booktitle = {3rd International Workshop on High-Level Concurrent Languages, {HLCL}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
12, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {3},
pages = {291},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80567-5},
doi = {10.1016/S1571-0661(05)80567-5},
timestamp = {Fri, 11 Nov 2022 14:28:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NestmannP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hlcl/1998,
editor = {Uwe Nestmann and
Benjamin C. Pierce},
title = {3rd International Workshop on High-Level Concurrent Languages, {HLCL}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
12, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {3},
publisher = {Elsevier},
year = {1998},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/16/issue/3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hlcl/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nestmann97,
author = {Uwe Nestmann},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {What is a 'good' encoding of guarded choice?},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {206--226},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80474-8},
doi = {10.1016/S1571-0661(05)80474-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nestmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Nestmann96,
author = {Uwe Nestmann},
title = {On determinacy and nondeterminacy in concurrent programming},
school = {University of Erlangen-Nuremberg},
year = {1996},
url = {https://d-nb.info/949794902},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Nestmann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NestmannP96,
author = {Uwe Nestmann and
Benjamin C. Pierce},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Decoding Choice Encodings},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {179--194},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_55},
doi = {10.1007/3-540-61604-7\_55},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NestmannP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NestmannS95,
author = {Uwe Nestmann and
Martin Steffen},
editor = {Burkhard Freitag and
Cliff B. Jones and
Christian Lengauer and
Hans{-}J{\"{o}}rg Schek},
title = {Correct Transformational Design of Concurrent Search Structures},
booktitle = {Object Orientation with Parallelism and Persistence (the book grow
out of a Dagstuhl Seminar in April 1995)},
pages = {23--42},
publisher = {Kluwer Academic Publishers},
year = {1995},
timestamp = {Wed, 31 Jul 2019 08:45:21 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NestmannS95.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-05-02 23:44 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:
