Subtyping for session types in the pi calculus 论文

2005Acta Informatica引用 374
DOI
Logic, programming, and type systemsSecurity and Verification in ComputingSoftware Engineering Research
网络安全Software Engineering ResearchSecurity and Verification in ComputingLogic, programming, and type systems
关系图谱

Subtyping for session types in the pi calculus · 相关文章

暂无数据