Properties of Concurrent Programs
β
Chandy, K. Mani
π
Article
π
1994
π
Springer
π
English
β 754 KB