×

zbMATH — the first resource for mathematics

Nestmann, Uwe

Compute Distance To:
Author ID: nestmann.uwe Recent zbMATH articles by "Nestmann, Uwe"
Published as: Nestmann, Uwe; Nestmann, U.
External Links: MGP · Wikidata · GND
Documents Indexed: 50 Publications since 1997, including 7 Books

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 160 times in 105 Documents Cited by Year
Decoding choice encodings. Zbl 1003.68080
Nestmann, Uwe; Pierce, Benjamin C.
34
2000
What is a “good” encoding of guarded choice? Zbl 1046.68625
Nestmann, Uwe
30
2000
Symbolic bisimulation in the spi calculus. Zbl 1099.68665
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe
11
2004
Welcome to the jungle: a subjective guide to mobile process calculi. Zbl 1151.68548
Nestmann, Uwe
10
2006
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
9
2013
Is it a “good” encoding of mixed choice? Zbl 1352.68190
Peters, Kirstin; Nestmann, Uwe
7
2012
On the expressive power of joint input. Zbl 0917.68070
Nestmann, Uwe
6
1998
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
5
2005
Unreliable failure detectors via operational semantics. Zbl 1215.68056
Nestmann, Uwe; Fuzzati, Rachele
5
2003
Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028
Gorla, Daniele; Nestmann, Uwe
4
2016
Dynamic causality in event structures. Zbl 1347.68252
Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe
4
2015
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
4
2003
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2000
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Mobile objects \`\` must” move safely. Zbl 1048.68026
Briais, Sébastien; Nestmann, Uwe
3
2002
Breaking symmetries. Zbl 1362.68219
Peters, Kirstin; Nestmann, Uwe
3
2016
Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285
Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina
3
2012
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2002
A formal semantics for protocol narrations. Zbl 1151.68464
Briais, Sébastien; Nestmann, Uwe
3
2005
A formal semantics for protocol narrations. Zbl 1131.68045
Briais, Sébastien; Nestmann, Uwe
2
2007
Dynamic causality in event structures. Zbl 1459.68134
Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe
1
2018
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
HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063
Nestmann, Uwe (ed.); Pierce, Benjamin C. (ed.)
1
1998
What is a ‘good’ encoding of guarded choice? Zbl 0911.68096
Nestmann, Uwe
1
1997
Dynamic causality in event structures. Zbl 1459.68134
Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe
1
2018
Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028
Gorla, Daniele; Nestmann, Uwe
4
2016
Breaking symmetries. Zbl 1362.68219
Peters, Kirstin; Nestmann, Uwe
3
2016
Dynamic causality in event structures. Zbl 1347.68252
Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe
4
2015
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
9
2013
Is it a “good” encoding of mixed choice? Zbl 1352.68190
Peters, Kirstin; Nestmann, Uwe
7
2012
Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285
Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina
3
2012
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
10
2006
On bisimulations for the spi calculus. Zbl 1077.18004
Borgström, Johannes; Nestmann, Uwe
5
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
11
2004
Unreliable failure detectors via operational semantics. Zbl 1215.68056
Nestmann, Uwe; Fuzzati, Rachele
5
2003
Modeling consensus in a process calculus. Zbl 1274.68247
Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo
4
2003
On bisimulations for the spi calculus. Zbl 1275.68101
Borgström, Johannes; Nestmann, Uwe
4
2002
Aliasing models for mobile objects. Zbl 1012.68114
Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo
3
2002
Mobile objects \`\` must” move safely. Zbl 1048.68026
Briais, Sébastien; Nestmann, Uwe
3
2002
Mobile objects as mobile processes. Zbl 1093.68562
Merro, Massimo; Kleist, Josva; Nestmann, Uwe
3
2002
Decoding choice encodings. Zbl 1003.68080
Nestmann, Uwe; Pierce, Benjamin C.
34
2000
What is a “good” encoding of guarded choice? Zbl 1046.68625
Nestmann, Uwe
30
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
Nestmann, Uwe; Pierce, Benjamin C.
1
1998
What is a ‘good’ encoding of guarded choice? Zbl 0911.68096
Nestmann, Uwe
1
1997
all top 5

Cited by 154 Authors

15 Nestmann, Uwe
7 Gorla, Daniele
6 Peters, Kirstin
5 Fu, Yuxi
5 Hennessy, Matthew C. B.
5 Merro, Massimo
4 Brodo, Linda
4 Fournet, Cédric
4 Sangiorgi, Davide
4 Yoshida, Nobuko
3 Busi, Nadia
3 Henrio, Ludovic
3 Laneve, Cosimo
3 Palamidessi, Catuscia
3 Parrow, Joachim
3 Phillips, Iain W.
3 Pugliese, Rosario
3 Xu, Xian
2 Åman Pohjola, Johannes
2 Bisping, Benjamin
2 Bodei, Chiara
2 Briais, Sébastien
2 Bruni, Roberto
2 Cacciagrano, Diletta Romana
2 Carbone, Marco
2 Corradini, Flavio
2 Francalanza, Adrian
2 Fuzzati, Rachele
2 Goltz, Ursula
2 Hirschkoff, Daniel
2 Hüttel, Hans
2 Kammüller, Florian
2 Kleist, Josva
2 Koutavas, Vasileios
2 Kouzapas, Dimitrios
2 Olarte, Carlos
2 Pérez, Jorge A.
2 Pierce, Benjamin C.
2 Quaglia, Paola
2 Tiu, Alwen Fernanto
2 van Glabbeek, Robert Jan
2 Versari, Cristian
2 Viganò, Luca
2 Vigliotti, Maria Grazia
2 Zavattaro, Gianluigi
1 Abadi, Martín
1 Achermann, Franz
1 Ahern, Alexander
1 Almousa, Omar
1 Altisen, Karine
1 Amadio, Roberto M.
1 Aranda, Jesús
1 Arbach, Youssef
1 Basin, David A.
1 Blanchet, Bruno
1 Borgström, Johannes
1 Brodmann, Paul-David
1 Bugliesi, Michele
1 Cai, Xiaojuan
1 Caleiro, Carlos
1 Cappello, Igor
1 Carayol, Arnaud
1 Caromel, Denis
1 Castellani, Ilaria
1 Cenciarelli, Pietro
1 Chadha, Rohit
1 Cheval, Vincent
1 Chothia, Tom
1 Ciobâcă, Ştefan
1 Corbineau, Pierre
1 Crafa, Silvia
1 Dawson, Jeremy E.
1 De Nicola, Rocco
1 Debois, Søren
1 Demangeon, Romain
1 Deng, Yuxin
1 Devismes, Stéphane
1 Dragoni, Nicola
1 Dreier, Jannik
1 Duggan, Dominic
1 Ene, Cristian
1 Evrard, Hugues
1 Fahrenberg, Uli
1 Fava, Daniel Schnetzer
1 Ferrari, Gian Luigi
1 Fontaine, Allyx
1 Gardner, Philippa Anne
1 Gaspari, Mauro
1 Gonthier, Georges
1 Gorrieri, Roberto
1 Herescu, Oltea Mihaela
1 Hildebrandt, Thomas T.
1 Honda, Kohei
1 Horne, Ross
1 Jiang, Ying
1 Johansen, Christian
1 Johansson, Magnus M.
1 Jungnickel, Tim
1 Karcher, David S.
1 Kremer, Steve
...and 54 more Authors

Citations by Year

Wikidata Timeline

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