http://www.tlaplus.net The TLA+ and PlusCal Resource Sun, 21 Aug 2011 00:17:59 +0000 hourly 1 http://wordpress.org/?v=3.2.1 http://www.tlaplus.net/learning/examples/comment-page-1/#comment-9744 Mario Bruno Sun, 21 Aug 2011 00:17:59 +0000 http://www.tlaplus.net/?page_id=19#comment-9744 When I try to download the examples it says that http://research.microsoft.com/en-us/um/people/lamport/tla/examples.zip is broken. When I try to download the examples it says that
http://research.microsoft.com/en-us/um/people/lamport/tla/examples.zip is broken.

]]> http://www.tlaplus.net/learning/examples/comment-page-1/#comment-5221 gregory wilson Mon, 02 May 2011 16:24:28 +0000 http://www.tlaplus.net/?page_id=19#comment-5221 I am attempting to use TLA with Dr. Mark Burgess promise theory/micropromises. Do you know if there will a possible conflict? I am attempting to create network policies for systems in a computer lab. I am attempting to use TLA with Dr. Mark Burgess promise theory/micropromises. Do you know if there will a possible conflict? I am attempting to create network policies for systems in a computer lab.

]]>