S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
G. Ramalingam
Theoretical Computer Science
Limin Hu
IEEE/ACM Transactions on Networking
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev