CONCUR 2013 - Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Pedro R. D'Argenio, Hernán Melgratti.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 8052Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.Description: 1 online resource (XIV, 562 p. 83 ill.)ISBN: - 9783642401848
Contents:
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.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000024399ENG |
Total holds: 0
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.
There are no comments on this title.
Log in to your account to post a comment.
