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.