Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre. Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. In Luigia Petre, Emil Sekerinski, editors, From Action Systems to Distributed Systems - The Refinement Approach. pages 201-214, Chapman and Hall/CRC, 2016. [doi]
Abstract is missing.