Tags
Language
Tags
<<
June 2025
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 1 2 3 4 5
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin [Repost]

    CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin [Repost]

    Posted By: Free butterfly
    Date: 21 Sep 2015 10:02:19
    CONCUR 2010 - Concurrency Theory (Lecture Notes in Computer Science) by Paul Gastin [Repost]

    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. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

    -= My Blog! =-
    Download NitroFlare
    UPWARDS