equal
deleted
inserted
replaced
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
2 |
2 |
3 <HTML><HEAD><TITLE>HOL/TLA</TITLE></HEAD><BODY> |
3 <!-- $Id$ --> |
|
4 |
|
5 <HTML> |
|
6 |
|
7 <HEAD> |
|
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|
9 <TITLE>HOL/TLA</TITLE> |
|
10 </HEAD> |
|
11 |
|
12 <BODY> |
4 |
13 |
5 <H2>TLA: Lamport's Temporal Logic of Actions</H2> |
14 <H2>TLA: Lamport's Temporal Logic of Actions</H2> |
6 |
15 |
7 <A HREF="http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html">TLA</A> |
16 <A HREF="http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html">TLA</A> |
8 is a linear-time temporal logic introduced by Leslie Lamport in |
17 is a linear-time temporal logic introduced by Leslie Lamport in |
54 |
63 |
55 <ADDRESS> |
64 <ADDRESS> |
56 <A HREF="merz@informatik.uni-muenchen.de">Stephan Merz</A> |
65 <A HREF="merz@informatik.uni-muenchen.de">Stephan Merz</A> |
57 </ADDRESS> |
66 </ADDRESS> |
58 <!-- hhmts start --> |
67 <!-- hhmts start --> |
59 Last modified: Mon Jan 25 14:06:43 MET 1999 |
68 Last modified: Sat Mar 5 00:54:49 CET 2005 |
60 <!-- hhmts end --> |
69 <!-- hhmts end --> |
61 </BODY></HTML> |
70 </BODY></HTML> |