article · Unisa Institutional Repository (University of South Africa) · 1998
A logic for the design of multiprogramming systems
Cited by 0Open access
Abstract
This paper presents a short introduction to the UNITY logic, a fragment of linear temporal logic. The logic was designed to specify safety and progress properties of reactive systems. A version of the UNITY logic appears in {1}. There have been several changes in this logic since then; a full account is available at \nhttp:// www.cs.utexas.edu/users/psp/newunity.html, and the essential ideas have appeared in {5, 4}.
Cite this paper
Misra, J. (1998). A logic for the design of multiprogramming systems. Unisa Institutional Repository (University of South Africa).
Misra, Jayadev. “A logic for the design of multiprogramming systems.” Unisa Institutional Repository (University of South Africa), 1998.
Misra, Jayadev. 1998. “A logic for the design of multiprogramming systems.” Unisa Institutional Repository (University of South Africa).
Misra, J. (1998) ‘A logic for the design of multiprogramming systems’, Unisa Institutional Repository (University of South Africa).
@article{misra1998logic,
title = {{A logic for the design of multiprogramming systems}},
author = {Misra, Jayadev},
journal = {Unisa Institutional Repository (University of South Africa)},
year = {1998}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.