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