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
关系图谱

A calculus of mobile processes, I · 作者

D

David Walker

J

Joachim Parrow

R

Robin Milner