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)
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
https://hal.inria.fr/tel-01215634
Hugues Evrard
2016
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
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
553–559
10.1007/978-3-662-49674-9_34
Hubert Garavel
Frédéric Lang
Radu Mateescu
Wendelin Serwe
2013
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
Springer International Journal on Software Tools for Technology Transfer (STTT)
15
2
89–107
10.1007/s10009-012-0244-z
http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html
Hubert Garavel
Wendelin Serwe
2017
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
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
230–270
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
262–273
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
558–565
10.1145/359545.359563
Leslie Lamport
1998
The Part-Time Parliament
ACM Trans. Comput. Syst.
16
2
133–169
10.1145/279227.279229
Diego Ongaro
2014
Consensus: Bridging Theory and Practice
Stanford University
https://purl.stanford.edu/qr033xr6097
Diego Ongaro
John K. Ousterhout
2014
In Search of an Understandable Consensus Algorithm
Garth Gibson
Nickolai Zeldovich
2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014
USENIX Association
305–319
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
299–319
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
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
357–368
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
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
154–165
10.1145/2854065.2854081