erwanm974 / coq_hibou_label_semantics_equivalence Goto Github PK
View Code? Open in Web Editor NEWFormal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
License: Apache License 2.0