Related references
Note: Only part of the references are listed.A tactic language for refinement of state-rich concurrent specifications
Marcel Oliveira et al.
SCIENCE OF COMPUTER PROGRAMMING (2011)
Supporting ArcAngel in ProofPower
Frank Zeyda et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2009)
Mechanical Reasoning about Families of UTP Theories
Frank Zeyda et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2009)
ArcAngelC: a Refinement Tactic Language for Circus
M. V. M. Oliveira et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2008)
Angelic nondeterminism in the unifying theories of programming
Ana Cavalcanti et al.
FORMAL ASPECTS OF COMPUTING (2006)