SRC Research Report #91

Thread View: comp.doc.techreports

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by James Mason Tue, 05 Jan 1993 14:21

#139

Author: James Mason
Date: Tue, 05 Jan 1993 14:21

29 lines
1514 bytes

The following SRC Research Report is now available:


Authors: Martin Abadi and Leslie Lamport 
Title: An Old-Fashioned Recipe for Real Time
Date: October 12, 1992
Report #91, October 12, 1992
Length: 67 pages
Availability: anonymous FTP from gatekeeeper.pa.dec.com
Directory: /pub/DEC/SRC/research-reports/




Authors' abstract:

Traditional methods for specifying and reasoning about concurrent
systems work for real-time systems. Using TLA (the temporal logic of
actions), we illustrate how they work with the examples of a queue and
of a mutual-exclusion protocol. In general, two problems must be
addressed: avoiding the real-time programming version of Zeno's
paradox, and coping with circularities when composing real-time
assumption/guarantee specifications. Their solutions rest on properties
of machine closure and realizability.


===========================================================================
Co-moderator:  Richard Golding, Computer & Information Sciences, UC Santa Cruz
	    compdoc-techreports-request@ftp.cse.ucsc.edu

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads