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 2009), University of Edinburgh, 26-27 August 2009
Back to Publications page