{"version":"1.0","type":"link","title":"PlusCal - Newikis","description":"PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action-oriented focus on distributed systems, PlusCal most resembles an imperative programming language and is better-suited when specifying sequential…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}