Quantitative model refinement in four different frameworks, with applications to the heat shock response
: Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion
: Petre Luigia, Sekerinski Emil
: 2016
: From Action Systems to Distributed Systems: the Refinement Approach
: 201
: 214