CONCUR 2012- Concurrency Theory - E-book

eBook

Concur 2012- Concurrency Theory - ENG

23rd International Conference, Concur 2012, Newcastle Upon Tyne, September 4-7, 2012. Proceedings

Maciej Koutny; ?Irek Ulidowski

eBook

$1,100.00

Disponible

Información adicional
Sinopsis

ISBN:	9783642329401
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2012-09-02

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.

eBooks