CONCUR 2012 - Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski.
Material type:
TextLanguage: English Series: Lecture Notes in Computer Science ; 7454Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: 1 online resource (XIV, 582 p. 84 ill.)ISBN: - 9783642329401
Contents:
Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability.
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
National Library of India | Available | EBK000024055ENG |
Total holds: 0
Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability.
There are no comments on this title.
Log in to your account to post a comment.
