Modeling and verification of parallel processes : lecture notes in computer science
Cassez, F (et-al)(Eds.)
Modeling and verification of parallel processes : lecture notes in computer science - Springer: Tokyo 2000 - 222 p.
0003540427872
parallel processing :
004.3 / M52
Modeling and verification of parallel processes : lecture notes in computer science - Springer: Tokyo 2000 - 222 p.
0003540427872
parallel processing :
004.3 / M52