Multiparty asynchronous session types 论文

2008引用 653
DOI
Logic, programming, and type systemsAdvanced Software Engineering MethodologiesFormal Methods in Verification
Advanced Software Engineering MethodologiesLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in VerificationAdvanced Software Engineering Methodologies
关系图谱

Multiparty asynchronous session types · 相关事件

暂无数据