Computational Complexity
Process Algebra
- Sep 8, 2008. Yuxi Fu. A Complete Axiomatisation for
Observational Congruence of Finite-sate behaviors.
- Sep 4, 2008. Houguang Yue. On the Axiomatizability of Impossible
Futures - Preorder versus Equivalence.
(pdf)
- Sep 2, 2008. Huan Long. Techniques for Decidability and
Undecidability of Bisimilarity.
(pdf)
- Aug 28, 2008. Xiaojuan Cai. A Fully Abstract Encoding of the
pi-Calculus with Data Terms.
(pdf)
- Aug 28, 2008. Han Zhu. Information Flow vs. Resource Access in
the Asynchronous Pi-Calculus.
(pdf)
- Aug 21, 2008. Houguang Yue. Axiomatising Divergence.
(pdf)
- Aug 18, 2008. Huan Long. Basic Observables for a Calculus for
Global Computing. (pdf)
- Aug 14, 2008. Xiaojuan Cai. PICT - A Programming Language based
on the Pi Calculus. (ps)
- Aug 11, 2008. Han Zhu. On the Axiomatizability of Ready Traces,
Ready Simulation, and Failure
Traces. (pdf)