How restrictive is the current action decomposition property for compression bisimulation?
V. Galpin
Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA)
, University of Edinburgh, 26-27 August 2009
Abstract - PDF
Slides - PDF
Back to Publications page