⇩ Markdown

considering dark software factories→considering dark software factories -- working area→Annotated version of 'Welcome to Gas Town'→examples of excellent state validations→TLA plus→Leslie Lamport

Leslie Lamport

Backlinks

TLA plus

Formal specification language created by Leslie Lamport for describing concurrent and distributed systems.

see in context