Skip to content
/ context-free-session Public

文脈自由マルチパーティセッション型の実装

1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

curegit/context-free-session

BranchesTags

About

文脈自由マルチパーティセッション型の実装

Topics

t4 concurrent-programming inter-process-communication session-types
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Languages