Edward A. Lee
: Concurrent Semantics Without the Notions of State or State Transitions.
: Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.
: On Timed Simulation Relations for Hybrid Systems and Compositionality.
: Simulator for Real-Time Abstract State Machines.
, Sven Johr
: A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.