Mobile CSP

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-29473-5_3 ◽

2016 ◽

pp. 39-55 ◽

Cited By ~ 1

Author(s):

Jim Woodcock ◽

Andy Wellings ◽

Ana Cavalcanti

Download Full-text