安慰
发表于 2025-3-23 13:22:23
http://reply.papertrans.cn/15/1402/140136/140136_11.png
Diastole
发表于 2025-3-23 14:49:48
http://reply.papertrans.cn/15/1402/140136/140136_12.png
textile
发表于 2025-3-23 21:42:51
http://reply.papertrans.cn/15/1402/140136/140136_13.png
Tracheotomy
发表于 2025-3-23 23:15:07
http://reply.papertrans.cn/15/1402/140136/140136_14.png
压迫
发表于 2025-3-24 03:14:11
https://doi.org/10.1007/3-540-10235-3Calc; Equivalence; calculus; communication; data structure; data structures; model; proof; semantics; techniq
向宇宙
发表于 2025-3-24 10:11:32
978-3-540-10235-9Springer-Verlag Berlin Heidelberg 1980
供过于求
发表于 2025-3-24 11:34:47
http://reply.papertrans.cn/15/1402/140136/140136_17.png
厚颜无耻
发表于 2025-3-24 18:08:31
A Calculus of Communicating Systems978-3-540-38311-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
consolidate
发表于 2025-3-24 22:33:42
http://reply.papertrans.cn/15/1402/140136/140136_19.png
或者发神韵
发表于 2025-3-25 02:34:50
http://reply.papertrans.cn/15/1402/140136/140136_20.png