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

Re: Lamport "The Temporal Logic of Actions"



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

Dyke.