CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin
English | 18 Aug. 2010 | ISBN: 3642153747 | 612 Pages | PDF | 6 MB
The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics.