×
Author ID: nestmann.uwe Recent zbMATH articles by "Nestmann, Uwe"
Published as: Nestmann, Uwe; Nestmann, U.
External Links: MGP · Wikidata · Twitter · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 269 times in 153 Documents Cited by Year
Decoding choice encodings. Zbl 1003.68080
Nestmann, Uwe; Pierce, Benjamin C.
38
2000
What is a “good” encoding of guarded choice? Zbl 1046.68625
Nestmann, Uwe
37
2000
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
19
2013
Welcome to the jungle: a subjective guide to mobile process calculi. Zbl 1151.68548
Nestmann, Uwe
16
2006
Symbolic bisimulation in the spi calculus. Zbl 1099.68665
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe
16
2004
Is it a “good” encoding of mixed choice? Zbl 1352.68190
Peters, Kirstin; Nestmann, Uwe
13
2012
Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028
Gorla, Daniele; Nestmann, Uwe
12
2016
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
8
2005
Decoding choice encodings. Zbl 1514.68177
Nestmann, Uwe; Pierce, Benjamin C.
8
1996
Unreliable failure detectors via operational semantics. Zbl 1215.68056
Nestmann, Uwe; Fuzzati, Rachele
7
2003
On the expressive power of joint input. Zbl 0917.68070
Nestmann, Uwe
6
1998
Dynamic causality in event structures. Zbl 1347.68252
Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe
6
2015
Breaking symmetries. Zbl 1362.68219
Peters, Kirstin; Nestmann, Uwe
6
2016
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
5
2003
Coupled similarity: the first 32 years. Zbl 1476.68166
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin
5
2020
Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285
Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina
4
2012
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
4
2002
Encoding CSP into CCS. Zbl 1476.68173
Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe
4
2015
Dynamic causality in event structures. Zbl 1459.68134
Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe
3
2018
Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2000
Mobile objects \`\` must” move safely. Zbl 1048.68026
Briais, Sébastien; Nestmann, Uwe
3
2002
A formal semantics for protocol narrations. Zbl 1151.68464
Briais, Sébastien; Nestmann, Uwe
3
2005
Open bisimulation, revisited. Zbl 1143.68050
Briais, Sébastien; Nestmann, Uwe
3
2007
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Synchrony versus causality in distributed systems. Zbl 1362.68220
Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe
3
2016
Session types for link failures. Zbl 1489.68396
Adameit, Manuel; Peters, Kirstin; Nestmann, Uwe
3
2017
Distributed consensus, revisited. Zbl 1151.68036
Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
2
2007
What is a ‘good’ encoding of guarded choice? Zbl 0911.68096
Nestmann, Uwe
2
1997
A formal semantics for protocol narrations. Zbl 1131.68045
Briais, Sébastien; Nestmann, Uwe
2
2007
Higher-order dynamics in event structures. Zbl 1471.68168
Karcher, David S.; Nestmann, Uwe
2
2015
Taming concurrency for verification using multiparty session types. Zbl 07142677
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe
2
2019
Distributability of mobile ambients. Zbl 1496.68243
Peters, Kirstin; Nestmann, Uwe
2
2020
States in process calculi. Zbl 1464.68267
Wagner, Christoph; Nestmann, Uwe
2
2014
Fault-tolerant multiparty session types. Zbl 1499.68233
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph
2
2022
Synchrony vs causality in the asynchronous \(\pi\)-calculus. Zbl 1457.68192
Peters, Kirstin; Schicke, Jens-Wolfhard; Nestmann, Uwe
2
2011
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
1
1998
Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305
Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian
1
2005
Mechanical verification of a constructive proof for FLP. Zbl 1478.68146
Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe
1
2016
On the distributability of mobile ambients. Zbl 1483.68235
Peters, Kirstin; Nestmann, Uwe
1
2018
Open bisimulation, revisited. Zbl 1273.68249
Briais, Sébastien; Nestmann, Uwe
1
2006
Adding priority to event structures. Zbl 1464.68225
Arbach, Youssef; Peters, Kirstin; Nestmann, Uwe
1
2013
Matching in the pi-calculus. Zbl 1464.68257
Peters, Kirstin; Yonova-Karbe, Tsvetelina; Nestmann, Uwe
1
2014
Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583
Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe
1
2022
A game for linear-time-branching-time spectroscopy. Zbl 1467.68129
Bisping, Benjamin; Nestmann, Uwe
1
2021
Fault-tolerant multiparty session types. Zbl 1499.68233
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph
2
2022
Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583
Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe
1
2022
A game for linear-time-branching-time spectroscopy. Zbl 1467.68129
Bisping, Benjamin; Nestmann, Uwe
1
2021
Coupled similarity: the first 32 years. Zbl 1476.68166
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin
5
2020
Distributability of mobile ambients. Zbl 1496.68243
Peters, Kirstin; Nestmann, Uwe
2
2020
Taming concurrency for verification using multiparty session types. Zbl 07142677
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe
2
2019
Dynamic causality in event structures. Zbl 1459.68134
Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe
3
2018
On the distributability of mobile ambients. Zbl 1483.68235
Peters, Kirstin; Nestmann, Uwe
1
2018
Session types for link failures. Zbl 1489.68396
Adameit, Manuel; Peters, Kirstin; Nestmann, Uwe
3
2017
Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028
Gorla, Daniele; Nestmann, Uwe
12
2016
Breaking symmetries. Zbl 1362.68219
Peters, Kirstin; Nestmann, Uwe
6
2016
Synchrony versus causality in distributed systems. Zbl 1362.68220
Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe
3
2016
Mechanical verification of a constructive proof for FLP. Zbl 1478.68146
Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe
1
2016
Dynamic causality in event structures. Zbl 1347.68252
Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe
6
2015
Encoding CSP into CCS. Zbl 1476.68173
Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe
4
2015
Higher-order dynamics in event structures. Zbl 1471.68168
Karcher, David S.; Nestmann, Uwe
2
2015
States in process calculi. Zbl 1464.68267
Wagner, Christoph; Nestmann, Uwe
2
2014
Matching in the pi-calculus. Zbl 1464.68257
Peters, Kirstin; Yonova-Karbe, Tsvetelina; Nestmann, Uwe
1
2014
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
19
2013
Adding priority to event structures. Zbl 1464.68225
Arbach, Youssef; Peters, Kirstin; Nestmann, Uwe
1
2013
Is it a “good” encoding of mixed choice? Zbl 1352.68190
Peters, Kirstin; Nestmann, Uwe
13
2012
Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285
Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina
4
2012
Synchrony vs causality in the asynchronous \(\pi\)-calculus. Zbl 1457.68192
Peters, Kirstin; Schicke, Jens-Wolfhard; Nestmann, Uwe
2
2011
Open bisimulation, revisited. Zbl 1143.68050
Briais, Sébastien; Nestmann, Uwe
3
2007
Distributed consensus, revisited. Zbl 1151.68036
Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
2
2007
A formal semantics for protocol narrations. Zbl 1131.68045
Briais, Sébastien; Nestmann, Uwe
2
2007
Welcome to the jungle: a subjective guide to mobile process calculi. Zbl 1151.68548
Nestmann, Uwe
16
2006
Open bisimulation, revisited. Zbl 1273.68249
Briais, Sébastien; Nestmann, Uwe
1
2006
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
8
2005
A formal semantics for protocol narrations. Zbl 1151.68464
Briais, Sébastien; Nestmann, Uwe
3
2005
Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305
Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian
1
2005
Symbolic bisimulation in the spi calculus. Zbl 1099.68665
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe
16
2004
Unreliable failure detectors via operational semantics. Zbl 1215.68056
Nestmann, Uwe; Fuzzati, Rachele
7
2003
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
5
2003
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
4
2002
Mobile objects \`\` must” move safely. Zbl 1048.68026
Briais, Sébastien; Nestmann, Uwe
3
2002
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Decoding choice encodings. Zbl 1003.68080
Nestmann, Uwe; Pierce, Benjamin C.
38
2000
What is a “good” encoding of guarded choice? Zbl 1046.68625
Nestmann, Uwe
37
2000
Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2000
On the expressive power of joint input. Zbl 0917.68070
Nestmann, Uwe
6
1998
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
1
1998
What is a ‘good’ encoding of guarded choice? Zbl 0911.68096
Nestmann, Uwe
2
1997
Decoding choice encodings. Zbl 1514.68177
Nestmann, Uwe; Pierce, Benjamin C.
8
1996
all top 5

Cited by 206 Authors

22 Nestmann, Uwe
15 Peters, Kirstin
8 Gorla, Daniele
7 Fu, Yuxi
7 Sangiorgi, Davide
6 van Glabbeek, Robert Jan
6 Yoshida, Nobuko
5 Hennessy, Matthew C. B.
5 Horne, Ross
5 Merro, Massimo
5 Pérez, Jorge A.
4 Bisping, Benjamin
4 Brodo, Linda
4 Fournet, Cédric
4 Henrio, Ludovic
4 Xu, Xian
3 Busi, Nadia
3 Castellani, Ilaria
3 Francalanza, Adrian
3 Goltz, Ursula
3 Hirschkoff, Daniel
3 Koutavas, Vasileios
3 Laneve, Cosimo
3 Mauw, Sjouke
3 Palamidessi, Catuscia
3 Parrow, Joachim
3 Phillips, Iain W.
3 Pugliese, Rosario
3 Tiu, Alwen Fernanto
3 Wagner, Christoph K. J.
2 Altisen, Karine
2 Amadio, Roberto M.
2 Åman Pohjola, Johannes
2 Bodei, Chiara
2 Briais, Sébastien
2 Bruni, Roberto
2 Cacciagrano, Diletta Romana
2 Carbone, Marco
2 Casal, Filipe
2 Corbineau, Pierre
2 Corradini, Flavio
2 Deng, Yuxin
2 Devismes, Stéphane
2 Fava, Daniel Schnetzer
2 Fuzzati, Rachele
2 Hüttel, Hans
2 Kammüller, Florian
2 Kleist, Josva
2 Kouzapas, Dimitrios
2 Kremer, Steve
2 Mordido, Andreia
2 Olarte, Carlos
2 Pierce, Benjamin C.
2 Pinna, G. Michele
2 Quaglia, Paola
2 Schicke, Jens-Wolfhard
2 Schmitt, Anna
2 Steffen, Martin
2 Stolz, Volker
2 Vasconcelos, Vasco Thudichum
2 Versari, Cristian
2 Viganò, Luca
2 Vigliotti, Maria Grazia
2 Yurkov, Semen
2 Zavattaro, Gianluigi
1 Abadi, Martín
1 Abate, Carmine
1 Achermann, Franz
1 Ahern, Alexander
1 Ahn, Ki Yung
1 Almeida, Bernardo F.
1 Almousa, Omar
1 Ameur-Boulifa, Rabéa
1 Aranda, Jesús
1 Arbach, Youssef
1 Balzer, Stephanie
1 Basin, David A.
1 Blanchet, Bruno
1 Bocchi, Laura
1 Boreale, Michele
1 Borgström, Johannes
1 Brodmann, Paul-David
1 Bugliesi, Michele
1 Busi, Matteo
1 Butterfield, Andrew
1 Cai, Xiaojuan
1 Caleiro, Carlos
1 Cano, Mauricio
1 Cappello, Igor
1 Carayol, Arnaud
1 Caromel, Denis
1 Cenciarelli, Pietro
1 Chadha, Rohit
1 Cheval, Vincent
1 Chothia, Tom
1 Ciobâcă, Ştefan
1 Crafa, Silvia
1 Dardha, Ornela
1 Dawson, Jeremy E.
1 De Nicola, Rocco
...and 106 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.