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, 2004.
• 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.