Engineering the Meta Theory of Session Types

Pinned Repositories

emtst-proof
A subject reduction proof for binary session types
Language:Coq10 4 01
GentleAdventure
A Gentle Adventure Mechanising Message Passing Concurrency Systems
Language:Coq3 3 00
zooid-cmpst
Certified MultiParty Session Types
Language:Coq7 2 00

Engineering the Meta Theory of Session Types's Repositories

emtst/emtst-proof
A subject reduction proof for binary session types
Language:Coq10 4 01
emtst/zooid-cmpst
Certified MultiParty Session Types
Language:Coq7 2 00
emtst/GentleAdventure
A Gentle Adventure Mechanising Message Passing Concurrency Systems
Language:Coq3 3 00