Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
57
Những tác giả chính: | , |
---|---|
Định dạng: | |
Ngôn ngữ: | eng |
Được phát hành: |
Berlin, GW : Springer,
2006
|
Những chủ đề: |
57
Những tác giả chính: | , |
---|---|
Định dạng: | |
Ngôn ngữ: | eng |
Được phát hành: |
Berlin, GW : Springer,
2006
|
Những chủ đề: |