Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /

57

Chi tiết về thư mục
Những tác giả chính: 180279 Bowman, Howard, Gomez, Rodolfo
Định dạng:
Ngôn ngữ:eng
Được phát hành: Berlin, GW : Springer, 2006
Những chủ đề: