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

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 7454
Release date:	July 2012
First published:	2012
Editors:	Maciej Koutny • Irek Ulidowski
Dimensions:	234 x 156 x 30mm (L x W x T)
Format:	Paperback
Pages:	582
Edition:	2012 ed.
ISBN-13:	978-3-642-32939-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > General
LSN:	3-642-32939-X
Barcode:	9783642329395

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!