David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Christine McKinty, Vincent Powazny, Frédéric Lang, Wendelin Serwe & Gideon Smeding (2017):
Reference Manual of the LNT to LOTOS Translator (Version 6.7).
Available at http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html.
INRIA/VASY and INRIA/CONVECS, 130 pages.
Hugues Evrard (2015):
Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones.
Theses.
Université Grenoble Alpes.
Available at https://hal.inria.fr/tel-01215634.
Hugues Evrard (2016):
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.
In: Marsha Chechik & Jean-François Raskin: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings,
Lecture Notes in Computer Science 9636.
Springer,
pp. 553–559,
doi:10.1007/978-3-662-49674-9_34.
Hubert Garavel & Wendelin Serwe (2017):
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.
In: Holger Hermanns & Peter Höfner: Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), Uppsala, Sweden,
Electronic Proceedings in Theoretical Computer Science 244,
pp. 230–270,
doi:10.4204/EPTCS.244.10.
ISO/IEC (1989):
LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour.
International Standard 8807.
International Organization for Standardization – Information Processing Systems – Open Systems Interconnection,
Geneva.
ISO/IEC (2001):
Enhancements to LOTOS (E-LOTOS).
International Standard 15437.
International Organization for Standardization – Software and systems engineering,
Geneva.
F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-Hubard, A. Linard, M. Beccuti, A. Hamez, E. Lopez-Bobeda, L. Jezequel, J. Meijer, E. Paviot-Adet, C. Rodriguez, C. Rohr, J. Srba, Y. Thierry-Mieg & K. Wolf (2015):
Complete Results for the 2015 Edition of the Model Checking Contest.
http://mcc.lip6.fr/2015/results.php.
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez & Francis Hulin-Hubard (2016):
MCC'2015 - The Fifth Model Checking Contest.
Trans. Petri Nets Other Model. Concurr. 11,
pp. 262–273,
doi:10.1007/978-3-662-53401-4_12.
Leslie Lamport (1978):
Time, Clocks, and the Ordering of Events in a Distributed System.
Commun. ACM 21(7),
pp. 558–565,
doi:10.1145/359545.359563.
Leslie Lamport (1998):
The Part-Time Parliament.
ACM Trans. Comput. Syst. 16(2),
pp. 133–169,
doi:10.1145/279227.279229.
Diego Ongaro & John K. Ousterhout (2014):
In Search of an Understandable Consensus Algorithm.
In: Garth Gibson & Nickolai Zeldovich: 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.
USENIX Association,
pp. 305–319.
Available at https://raft.github.io/raft.pdf.
Fred B. Schneider (1990):
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial.
ACM Comput. Surv. 22(4),
pp. 299–319,
doi:10.1145/98163.98167.
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst & Thomas E. Anderson (2015):
Verdi: a framework for implementing and formally verifying distributed systems.
In: David Grove & Steve Blackburn: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015.
ACM,
pp. 357–368,
doi:10.1145/2737924.2737958.
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst & Thomas E. Anderson (2016):
Planning for change in a formal verification of the raft consensus protocol.
In: Jeremy Avigad & Adam Chlipala: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016.
ACM,
pp. 154–165,
doi:10.1145/2854065.2854081.