Ling Cheung's Presentations
Compositional Security for Task-PIOAs, Theory of
Distributed Systems Seminar, Cambridge, USA, 13 April, 2007.
Randomized Wait-Free Consensus Using An Atomicity
Assumption. The 9th International Conference on
Principles of Distributed Systems (OPODIS) 2005, Pisa, Italy,
12-14 December, 2005.
A Symbolic Treatment of Randomization. Validation of
Stochastic Systems (VOSS2) semi-annual meeting,
Saarbruecken, Germany, 24-35 January 2005.
Switched Probabilistic Input/Output Automata. The First
International Colloquium on Theoretical Aspects of
Computing (ICTAC) 2004, Guiyang, China, 22-24 September,
Some CPO Results for Simple Probabilistic Automata.
Validation of Stochastic Systems (VOSS), semi-annual
meeting, Bonn, Germany, 12-13 November 2003.
Concise graphs and functional bisimulations. Categorical
Methods for Concurrency, Interaction, and Mobility (CMCIM)
2003, Marseille, France, September 2003.
Last modified: Tue Sep 25 11:11:03 EDT 2007