Japanese PlusCal Cited by user Darklanlan on 03 Dec 2016 PlusCal (旧称 +CAL) は、 Leslie Lamppost により考案された形式仕様言語で、 TLA+ に変換される。TLA+ のアクション志向が分散システムに重点を置いているのとは異なり、 PlusCalは逐次命令形のプログラミング言語と似ており、シーケンシャルアルゴリズムの記述により適している。PlusCalは 擬似コー…
German PlusCal Cited by user Stephan.rehfeld on 31 Oct 2015 PlusCal ist eine durch Leslie Lamport entwickelte formale Sprache zur Spezifikation nebenläufiger Algorithmen und Systeme.
English PlusCal Cited by user Andrew Helwer on 05 Jun 2015 PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+.