Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool