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