A High-Level Language for Modeling Algorithms and Their Properties

DOI10.1007/978-3-642-19829-8_4zbMath1325.68040OpenAlexW1599102381MaRDI QIDQ2999308

Stephan Merz, Sabina Akhtar, Martin Quinson

Publication date: 12 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00537779/file/final.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed algorithms (68W15)

Uses Software

• LOTOS
• SPIN
• TLAPS
• PlusCal
• TLC

Cites Work

• Unnamed Item
• Myths about the mutual exclusion problem
• Checking a Multithreaded Algorithm with  + CAL
• Guarded commands, nondeterminacy and formal derivation of programs
• Time, clocks, and the ordering of events in a distributed system