/coq_hibou_label_semantics_equivalence

Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.

Primary LanguageHTMLApache License 2.0Apache-2.0

No issues in this repository yet.