The Library
A semantic model for the specification of real-time processes
Tools
Tools
Tools
Goswami, Asis and Joseph, Mathai (1988) A semantic model for the specification of real-time processes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF
WRAP_cs-rr-121.pdf - Other - Requires a PDF viewer. Download (19Mb) | Preview |
Abstract
A semantic model for developing and justifying specifications of communicating real-time processes is proposed. The semantics is state-based and compositional. The basic semantic objects are timed-observations of values of program variables, where time is assumed to be in the domain of real numbers. The internal actions and communications of a command are treated in a uniform way to obtain a simple semantic domain. An ordering on this domain for information approximation is developed. The proposed semantics models termination, failure, divergence, deadlock, and starvation, and supports an arbitrary degree of parallelism.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Interactive computer systems | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | April 1988 | ||||
| Dates: |
|
||||
| Number: | Number 121 | ||||
| Number of Pages: | 27 | ||||
| DOI: | CS-RR-121 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Publisher Statement: | A. Goswami and M. Joseph, “A Semantic Model for the Specification of Real-Time Processes”, <i>Concurrency 88</i>, Lecture Notes in Computer Science 335, ed. Vogt, F., Springer-Verlag, Berlin, pp. 292-306 (1988) | ||||
| Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
| Grant number: | GR/D73881 (SERC) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
