Proving Refinement Using Transduction

Bengt Jonsson, Amir Pnueli, Camilla Rump. Proving Refinement Using Transduction. Distributed Computing, 12(2-3):129-149, 1999. [doi]

Abstract

Abstract is missing.