Multiparty Asynchronous Session Types 论文

2016Journal of the ACM引用 284
DOI
Logic, programming, and type systemsFormal Methods in VerificationDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Multiparty Asynchronous Session Types · 相关技术

相关技术

Formal Methods in Verification