A calculus of mobile processes, I 论文

1992Information and Computation引用 2847
DOIPDF
Formal Methods in VerificationLogic, programming, and type systemsDistributed systems and fault tolerance
Logic, programming, and type systemsDistributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

3

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (3)

D

David Walker

J

Joachim Parrow

R

Robin Milner

相关技术查看全部 (1)

Formal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据