Volume 242, Number 1, July 2009
Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Toronto, Canada
Roberto M. Amadio
: On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.
Jens Chr. Godskesen
: A Calculus for Mobile Ad-hoc Networks with Static Location Binding.
Volume 242, Number 2, July 2009
Volume 242, Number 3, August 2009