CONCUR 2012- Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.

List of 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.

Summary

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.

Product details

• Assisted by: Macie Koutny (Editor), Maciej Koutny (Editor), Ulidowski (Editor), Ulidowski (Editor), Irek Ulidowski (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 25.07.2012
• EAN: 9783642329395
• ISBN: 978-3-642-32939-5
• No. of pages: 582
• Dimensions: 170 mm x 33 mm x 236 mm
• Weight: 891 g
• Illustrations: XIV, 582 p. 84 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT