|
Search the dblp DataBase
Uwe Nestmann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:287-303 [Conf]
- Uwe Nestmann, Rachele Fuzzati
Unreliable Failure Detectors via Operational Semantics. [Citation Graph (0, 0)][DBLP] ASIAN, 2003, pp:54-71 [Conf]
- Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:161-176 [Conf]
- Uwe Nestmann
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. [Citation Graph (0, 0)][DBLP] CONCUR, 2006, pp:52-63 [Conf]
- Uwe Nestmann, Rachele Fuzzati, Massimo Merro
Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:393-407 [Conf]
- Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP] CONCUR, 1996, pp:179-194 [Conf]
- Uwe Nestmann, Martin Steffen
Correct Transformational Design of Concurrent Search Structures. [Citation Graph (0, 0)][DBLP] Object Orientation with Parallelism and Persistence, 1995, pp:23-42 [Conf]
- Uwe Nestmann, António Ravara
Semantics of Objects as Processes (SOAP). [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:314-325 [Conf]
- Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Object Migration. [Citation Graph (0, 0)][DBLP] Euro-Par, 1999, pp:1353-1368 [Conf]
- Uwe Nestmann
Mobile Objects (a project overview). [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:155-164 [Conf]
- Sébastien Briais, Uwe Nestmann
Mobile Objects "Must" Move Safely. [Citation Graph (0, 0)][DBLP] FMOODS, 2002, pp:129-146 [Conf]
- Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:250-265 [Conf]
- Massimo Merro, Josva Kleist, Uwe Nestmann
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2000, pp:390-408 [Conf]
- Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
Protocol Composition Frameworks A Header-Driven Model. [Citation Graph (0, 0)][DBLP] NCA, 2005, pp:243-246 [Conf]
- Sébastien Briais, Uwe Nestmann
A Formal Semantics for Protocol Narrations. [Citation Graph (0, 0)][DBLP] TGC, 2005, pp:163-181 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Research Results of the DICS Program, 2006, pp:172-194 [Conf]
- Uwe Nestmann, Björn Victor
Calculi for Mobile Processes - Bibliography and Web Pages. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1998, v:64, n:, pp:- [Journal]
- Sébastien Briais, Uwe Nestmann
Open Bisimulation, Revisited. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:109-123 [Journal]
- Flavio Corradini, Uwe Nestmann
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:1-3 [Journal]
- Uwe Nestmann
What is a `good' encoding of guarded choice? [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
- Uwe Nestmann
On the Expressive Power of Joint Input. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
- Uwe Nestmann, Prakash Panangaden
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
- Uwe Nestmann, Benjamin C. Pierce
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
- Rachele Fuzzati, Uwe Nestmann
Much Ado About Nothing? [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:167-171 [Journal]
- Massimo Merro, Josva Kleist, Uwe Nestmann
Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:177, n:2, pp:195-241 [Journal]
- Uwe Nestmann
What is a "Good" Encoding of Guarded Choice? [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:287-319 [Journal]
- Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Mobile Objects. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:175, n:1, pp:3-33 [Journal]
- Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:1, pp:1-59 [Journal]
- Uwe Nestmann, Björn Victor
Guest editors' introduction: Special issue on The pi-calculus. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:63, n:1, pp:1-2 [Journal]
- Johannes Borgström, Uwe Nestmann
On bisimulations for the spi calculus. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:487-552 [Journal]
- Uwe Nestmann, Prakash Panangaden
Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2003, v:10, n:2, pp:69- [Journal]
- Flavio Corradini, Uwe Nestmann
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:330, n:3, pp:375-376 [Journal]
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
Deriving Trust from Experience. [Citation Graph (, )][DBLP]
Distributed Consensus, revisited. [Citation Graph (, )][DBLP]
Breaking Symmetries [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|