: Some of My Favourite Results in Classic Process Algebra.
Juan de Lara
: Meta-Modelling and Graph Transformation for the Simulation of Systems.
: A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal.
Samee Ullah Khan
: Plays, Values, Analysis and The Complexity of Chinese Chess.
: Building Reliable Systems from Unreliable Components and the DNA Computing Paradigm.