Skip to content
Snippets Groups Projects
Commit c3a22c76 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Synchronous ghost theory for binary session types

parent 00ecc263
No related branches found
No related tags found
1 merge request!39Multiparty synchronous
Expand all Hide whitespace changes
Inline Side-by-side
theories/channel/proto.v
+ 706
− 655
View file @ c3a22c76
This diff is collapsed.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment