Choreography-Based Analysis of Distributed Message Passing Programs
2001 ◽
Vol 12
(4)
◽
pp. 404-415
◽
2020 ◽
Vol 31
(11)
◽
pp. 2570-2581
1994 ◽
Vol 2
(2)
◽
pp. 50-56
◽
2001 ◽
Vol 61
(5)
◽
pp. 667-678
◽