[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Lamport "The Temporal Logic of Actions"

To: occam-com@xxxxxxxxx
Subject: Re: Lamport "The Temporal Logic of Actions"
From: "G. S. Stiles" <dyke@xxxxxxxxxxxxxxxxxx>
Date: Mon, 25 May 1998 22:35:45 -0600
Organization: Utah State University
References: <199805250736.IAA11714@xxxxxxxxxxxxxxx>
Reply-to: dyke@xxxxxxxxxxxxxxxxxx

There are several pointers to TLA material - including a brief
downloadable introduction - at
http://www.research.digital.com/SRC/tla/

Dyke.

References:
- Lamport and toy languages
  - From: Adrian Lawrence

Prev by Date: Re: Re. Lamport / Composition
Next by Date: Re: Lamport and toy languages
Previous by thread: Re: Lamport and toy languages
Next by thread: Re: Lamport and toy languages
Index(es):
- Date
- Thread