A logic for the design of multiprogramming systems

dc.contributor.author	Misra, J
dc.date.accessioned	2018-06-06T14:23:12Z
dc.date.available	2018-06-06T14:23:12Z
dc.date.issued	1998
dc.identifier.citation	Misra J (1999) A logic for the design of multiprogramming systems. South African Computer Journal, Number 22, 1998	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24295
dc.description.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 http:// www.cs.utexas.edu/users/psp/newunity.html, and the essential ideas have appeared in {5, 4}.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.subject	Safety	en
dc.subject	Progress	en
dc.subject	Invariant	en
dc.subject	Stable	en
dc.subject	Fixed point	en
dc.subject	Liveness	en
dc.subject	Fairness	en
dc.subject	Transient	en
dc.subject	Ensures	en
dc.subject	Leads-to	en
dc.title	A logic for the design of multiprogramming systems	en
dc.type	Article	en