Andere Kunden interessierten sich auch für
![CONCUR 2014 ¿ Concurrency Theory]( "CONCUR 2014 ¿ Concurrency Theory")
CONCUR 2014 ¿ Concurrency Theory37,99 €![CONCUR 2002 - Concurrency Theory]( "CONCUR 2002 - Concurrency Theory")
CONCUR 2002 - Concurrency Theory77,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €![Multi-Agent Systems]( "Multi-Agent Systems")
Multi-Agent Systems37,99 €![Tools and Algorithms for the Construction and Analysis of Systems]( "Tools and Algorithms for the Construction and Analysis of Systems")
Tools and Algorithms for the Construction and Analysis of Systems38,99 €![Infinity in Logic and Computation]( "Infinity in Logic and Computation")
Infinity in Logic and Computation37,99 €
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.