1982
Fair termination revisited with delay
Publication
Publication
Presented at the
Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India
Additional Metadata | |
---|---|
National Centre for Software Development and Computing Techniques | |
Conference on Foundations of Software Technology and Theoretical Computer Science | |
Apt, K., Pnueli, A., & Stavi, J. (1982). Fair termination revisited with delay. In Proceedings of Conference on foundation of software technology and theoretical computer science 1982 (pp. 146–170). National Centre for Software Development and Computing Techniques. |