Applying bisimulation and invariants to alternate pathways in a signalling cascade

V. Galpin

Proceedings of the 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011), Ragusa, 19-20 September 2011

Abstract - PDF
Slides - PDF

Back to Publications page