• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Concur 2013 -- Concurrency Theory: 24th International Conference, Concur 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Concur 2013 -- Concurrency Theory: 24th International Conference, Concur 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Paperback

ApplicationsProgramming

ISBN10: 364240183X
ISBN13: 9783642401831
Publisher: Springer
Published: Aug 6 2013
Pages: 562
Weight: 1.79
Height: 1.23 Width: 6.12 Depth: 9.19
Language: English
Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets.- Linearizability and Verification of Concurrent Programs.- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.- Principles of Automatic Verification.- Games and Control Synthesis.

Also in

Programming