| 2007 |
|---|
| 36 | EE | Rachele Fuzzati,
Massimo Merro,
Uwe Nestmann:
Distributed Consensus, revisited.
Acta Inf. 44(6): 377-425 (2007) |
| 35 | EE | Sébastien Briais,
Uwe Nestmann:
Open bisimulation, revisited.
Theor. Comput. Sci. 386(3): 236-271 (2007) |
| 34 | EE | Sébastien Briais,
Uwe Nestmann:
A formal semantics for protocol narrations.
Theor. Comput. Sci. 389(3): 484-511 (2007) |
| 2006 |
|---|
| 33 | EE | Uwe Nestmann:
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.
CONCUR 2006: 52-63 |
| 32 | EE | Daniel C. Bünzli,
Rachele Fuzzati,
Sergio Mena,
Uwe Nestmann,
Olivier Rütti,
André Schiper,
Pawel T. Wojciechowski:
Advances in the Design and Implementation of Group Communication Middleware.
Research Results of the DICS Program 2006: 172-194 |
| 31 | EE | Sébastien Briais,
Uwe Nestmann:
Open Bisimulation, Revisited.
Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006) |
| 30 | EE | Rachele Fuzzati,
Uwe Nestmann:
Much Ado About Nothing?
Electr. Notes Theor. Comput. Sci. 162: 167-171 (2006) |
| 2005 |
|---|
| 29 | EE | Daniel C. Bünzli,
Sergio Mena,
Uwe Nestmann:
Protocol Composition Frameworks A Header-Driven Model.
NCA 2005: 243-246 |
| 28 | EE | Sébastien Briais,
Uwe Nestmann:
A Formal Semantics for Protocol Narrations.
TGC 2005: 163-181 |
| 27 | EE | Uwe Nestmann,
Björn Victor:
Guest editors' introduction: Special issue on The pi-calculus.
J. Log. Algebr. Program. 63(1): 1-2 (2005) |
| 26 | EE | Johannes Borgström,
Uwe Nestmann:
On bisimulations for the spi calculus.
Mathematical Structures in Computer Science 15(3): 487-552 (2005) |
| 25 | EE | Flavio Corradini,
Uwe Nestmann:
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
Theor. Comput. Sci. 330(3): 375-376 (2005) |
| 2004 |
|---|
| 24 | EE | Johannes Borgström,
Sébastien Briais,
Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus.
CONCUR 2004: 161-176 |
| 23 | EE | Johannes Borgström,
Uwe Nestmann,
Luc Onana Alima,
Dilian Gurov:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.
Global Computing 2004: 250-265 |
| 22 | EE | Flavio Corradini,
Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004) |
| 2003 |
|---|
| 21 | | Elie Najm,
Uwe Nestmann,
Perdita Stevens:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Springer 2003 |
| 20 | EE | Uwe Nestmann,
Rachele Fuzzati:
Unreliable Failure Detectors via Operational Semantics.
ASIAN 2003: 54-71 |
| 19 | EE | Uwe Nestmann,
Rachele Fuzzati,
Massimo Merro:
Modeling Consensus in a Process Calculus.
CONCUR 2003: 393-407 |
| 18 | | Uwe Nestmann,
Prakash Panangaden:
Guest Editors' Foreword.
Nord. J. Comput. 10(2): 69 (2003) |
| 2002 |
|---|
| 17 | EE | Johannes Borgström,
Uwe Nestmann:
On Bisimulations for the Spi Calculus.
AMAST 2002: 287-303 |
| 16 | | Sébastien Briais,
Uwe Nestmann:
Mobile Objects "Must" Move Safely.
FMOODS 2002: 129-146 |
| 15 | EE | Uwe Nestmann,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
| 14 | EE | Uwe Nestmann,
Hans Hüttel,
Josva Kleist,
Massimo Merro:
Aliasing Models for Mobile Objects.
Inf. Comput. 175(1): 3-33 (2002) |
| 13 | EE | Massimo Merro,
Josva Kleist,
Uwe Nestmann:
Mobile Objects as Mobile Processes.
Inf. Comput. 177(2): 195-241 (2002) |
| 2000 |
|---|
| 12 | EE | Massimo Merro,
Josva Kleist,
Uwe Nestmann:
Local pi-Calculus at Work: Mobile Objects as Mobile Processes.
IFIP TCS 2000: 390-408 |
| 11 | | Uwe Nestmann:
What is a "Good" Encoding of Guarded Choice?
Inf. Comput. 156(1-2): 287-319 (2000) |
| 10 | | Uwe Nestmann,
Benjamin C. Pierce:
Decoding Choice Encodings.
Inf. Comput. 163(1): 1-59 (2000) |
| 1999 |
|---|
| 9 | EE | Uwe Nestmann,
António Ravara:
Semantics of Objects as Processes (SOAP).
ECOOP Workshops 1999: 314-325 |
| 8 | EE | Uwe Nestmann,
Hans Hüttel,
Josva Kleist,
Massimo Merro:
Aliasing Models for Object Migration.
Euro-Par 1999: 1353-1368 |
| 7 | | Uwe Nestmann:
Mobile Objects (a project overview).
FBT 1999: 155-164 |
| 1998 |
|---|
| 6 | | Uwe Nestmann,
Björn Victor:
Calculi for Mobile Processes - Bibliography and Web Pages.
Bulletin of the EATCS 64: (1998) |
| 5 | EE | Uwe Nestmann:
On the Expressive Power of Joint Input.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 4 | EE | Uwe Nestmann,
Benjamin C. Pierce:
Preface.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
| 1997 |
|---|
| 3 | EE | Uwe Nestmann:
What is a `good' encoding of guarded choice?
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 1996 |
|---|
| 2 | | Uwe Nestmann,
Benjamin C. Pierce:
Decoding Choice Encodings.
CONCUR 1996: 179-194 |
| 1995 |
|---|
| 1 | | Uwe Nestmann,
Martin Steffen:
Correct Transformational Design of Concurrent Search Structures.
Object Orientation with Parallelism and Persistence 1995: 23-42 |
