Most Popular Books
- Process Algebra: Equational Theories of Communicating Processes
- Process Algebra (Cambridge Tracts in Theoretical Computer Science)
- Process Algebra with Timing
- Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)
- Concur 91: 2nd International Conference on Concurrency Theory Amsterdam, the Netherlands, August 26-29, 1991 : Proceedings (Lecture Notes in Computer Science)
Series By Joseph C.M. Baeten