What is a “good” encoding of guarded choice? U Nestmann Information and computation 156 (1-2), 287-319, 2000 | 158 | 2000 |
Decoding choice encodings U Nestmann, BC Pierce International Conference on Concurrency Theory, 179-194, 1996 | 140 | 1996 |
Decoding choice encodings U Nestmann, BC Pierce Information and Computation 163 (1), 1-59, 2000 | 115 | 2000 |
Symbolic bisimulation in the spi calculus J Borgström, S Briais, U Nestmann International Conference on Concurrency Theory, 161-176, 2004 | 71 | 2004 |
On Bisimulations for the Spi Calculus* J Borgström, U Nestmann International Conference on Algebraic Methodology and Software Technology …, 2002 | 68 | 2002 |
Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003 | 61 | 2003 |
Full abstraction for expressiveness: history, myths and facts D Gorla, U Nestmann Mathematical Structures in Computer Science 26 (4), 639-654, 2016 | 53 | 2016 |
Formal verification of distributed algorithms: From pseudo code to checked proofs P Küfner, U Nestmann, C Rickmann Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference …, 2012 | 45 | 2012 |
On distributability in process calculi K Peters, U Nestmann, U Goltz European Symposium on Programming, 310-329, 2013 | 43 | 2013 |
Is it a “good” encoding of mixed choice? K Peters, U Nestmann International Conference on Foundations of Software Science and …, 2012 | 35 | 2012 |
A formal semantics for protocol narrations S Briais, U Nestmann Theoretical Computer Science 389 (3), 484-511, 2007 | 35 | 2007 |
Welcome to the jungle: A subjective guide to mobile process calculi U Nestmann International Conference on Concurrency Theory, 52-63, 2006 | 33 | 2006 |
On determinacy and nondeterminacy in concurrent programming U Nestmann Inst. für Math. Maschinen und Datenverarbeitung (Informatik), 1996 | 33 | 1996 |
Dynamic causality in event structures Y Arbach, DS Karcher, K Peters, U Nestmann Logical Methods in Computer Science 14, 2018 | 30 | 2018 |
Verifying a structured peer-to-peer overlay network: The static case J Borgström, U Nestmann, L Onana, D Gurov Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 30 | 2005 |
On the expressive power of joint input U Nestmann Electronic Notes in Theoretical Computer Science 16 (2), 145-152, 1998 | 29 | 1998 |
Typing confluence U Nestmann, M Steffen In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997 | 26 | 1997 |
Synchrony vs causality in the asynchronous pi-calculus K Peters, JW Schicke, U Nestmann arXiv preprint arXiv:1108.4469, 2011 | 24 | 2011 |
Session types for link failures M Adameit, K Peters, U Nestmann Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 23 | 2017 |
Unreliable failure detectors via operational semantics U Nestmann, R Fuzzati Annual Asian Computing Science Conference, 54-71, 2003 | 23 | 2003 |