注册
登录
场景模型
nodcap
返回
项目作者:
wenkokke
项目描述 :
wherein I describe deadlock and race-free session types with non-determinism
高级语言:
Agda
项目主页:
项目地址:
git://github.com/wenkokke/nodcap.git
创建时间:
2016-12-11T20:26:14Z
项目社区:
https://github.com/wenkokke/nodcap
开源协议:
MIT License
下载
llncs_1647186931530.doc
presentation_1647186931428.pptx
ICFP SRC Poster_1647186931687.pptx
ICFP SRC Slides_1647186931809.pptx
PPar IEE Poster_1647186931849.pptx
PPar IEE Slides_1647186931974.pptx
Graphic_1647186931991.pdf
GraphicB-pale_1647186932038.pdf
Logo1_1647186932057.pdf
eushield-fullcolour_1647186932096.pdf
eushield-noback_1647186932099.pdf
eushield-normal_1647186932139.pdf
eushield-reversed_1647186932163.pdf
eushield-twocolour_1647186932186.pdf
logo_cisa_1647186932196.pdf
logo_esi_1647186932225.pdf
logo_ianc_1647186932229.pdf
logo_icsa_1647186932242.pdf
logo_ilcc_1647186932263.pdf
logo_ilsi_1647186932285.pdf
logo_ipab_1647186932307.pdf
logo_lfcs_1647186932310.pdf
school_of_informatics_1647186932327.pdf
thesis-shield_1647186932331.pdf