Relative Liveness and Behavior Abstraction

[1]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[2]  Ulrich Nitsche.  A verification method based on homomorphic model abstractions (abstract) , 1994, PODC 1994.

[3]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[4]  Martín Abadi,et al.  Composing specifications , 1989, TOPL.