M113 175mm Howitzer Gun Specifications
november 2008 by randombit
Where my bigger ammo can came from
ammocan
gun
military
specification
november 2008 by randombit
Visual TLA
february 2008 by randombit
TLA+ editor (Windows only?)
tla+
concurrency
specification
language
editor
february 2008 by randombit
TLA - The Temporal Logic of Actions
december 2007 by randombit
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems.
concurrency
distributed
lamport
math
logic
verification
specification
december 2007 by randombit
related tags
ammocan ⊕ api ⊕ concurrency ⊕ distributed ⊕ editor ⊕ finance ⊕ format ⊕ functional ⊕ gun ⊕ haskell ⊕ java ⊕ javascript ⊕ json ⊕ json-rpc ⊕ jxta ⊕ lamport ⊕ language ⊕ logic ⊕ math ⊕ microsoft ⊕ military ⊕ p2p ⊕ protocol ⊕ qif ⊕ report ⊕ rpc ⊕ spec ⊕ specification ⊖ standard ⊕ tla+ ⊕ toprint ⊕ verification ⊕ webdev ⊕Copy this bookmark: