Re: Lamport "The Temporal Logic of Actions"

From: G. S. Stiles (dyke_at_email.domain.hidden)
Date: 1998-05-26 05:35:45

• Next message: phw: "Re: Lamport and toy languages"
• Previous message: Adrian Lawrence: "Re: Re. Lamport / Composition"

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

Dyke.

• Next message: phw: "Re: Lamport and toy languages"
• Previous message: Adrian Lawrence: "Re: Re. Lamport / Composition"

Original text of this message