Liu, Zhiming (1989) A semantic model for UNITY. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Preview

PDF WRAP_cs-rr-144.pdf - Other - Requires a PDF viewer. Download (218Kb) | Preview

Request Changes to record.

Abstract

This paper develops a semantic model for UNITY that reflects its particular aspects, such as nondeterminism, absence of control flow etc. The proposed model is a kind of state-transition system within which observations and actions are the basic semantic objects. An alternative semantics for UNITY programs based on different fairness conditions is also defined using this model. Specially, the fairness condition assumed in [CM88] is defined and the UNITY logic based on it is modelled to show how the safety and liveness (progress) properties can be represented. This model is beeing used as the basis for developing some formal techniques for fault-tolerance within a UNITY framework.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Computers -- Reliability
Series Name:	Department of Computer Science Research Report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	1989
Dates:	Date Event 1989 Completion
Number:	Number 144
Number of Pages:	22
DOI:	CS-RR-144
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Funder:	Science and Engineering Research Council (Great Britain) (SERC)
Grant number:	GR/D 11521 (SERC)
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads