Volume 209, April 2008 Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006)
: Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.
: Expressiveness Issues in Brane Calculi: A Survey.
: Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.
: Verification of Fine-grain Concurrent Programs.
: Encoding Distributed Process Calculi into LMNtal.