The following pages link to Uwe Nestmann (Q262425):
Displayed 50 items.
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Aliasing models for mobile objects (Q1854530) (← links)
- A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
- On distributability (Q2123059) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- Taming concurrency for verification using multiparty session types (Q2279123) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- Higher-Order Dynamics in Event Structures (Q2787429) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- Mechanical Verification of a Constructive Proof for FLP (Q2829253) (← links)
- (Q2852066) (← links)
- Is It a “Good” Encoding of Mixed Choice? (Q2892772) (← links)
- Formal Verification of Distributed Algorithms (Q2915172) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- On Bisimulations for the Spi Calculus* (Q2996142) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- (Q3384918) (← links)
- (Q3614667) (← links)
- (Q4222921) (← links)
- (Q4223013) (← links)
- (Q4536438) (← links)
- (Q4608671) (← links)
- (Q4790349) (← links)
- (Q4964004) (← links)
- (Q4965862) (← links)
- (Q4992497) (← links)
- (Q4995152) (← links)
- (Q4995154) (← links)
- (Q5013872) (← links)
- Session Types for Link Failures (Q5082187) (← links)
- (Q5101352) (← links)
- Much Ado About Nothing? (Q5262962) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311472) (← links)
- On Distributability in Process Calculi (Q5326293) (← links)
- Trustworthy Global Computing (Q5394801) (← links)
- On bisimulations for the spi calculus (Q5462665) (← links)
- Global Computing (Q5464835) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi (Q5756619) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896941) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900579) (← links)
- Decoding choice encodings (Q6104373) (← links)