Publications

Preserving liveness: Comments on "safety and liveness from a methodological point of view"

• • Martín Abadi
  • Bowen Alpern
  • et al.
• 1991
• Information Processing Letters