CONCUR 2012- Concurrency Theory

CONCUR 2012- Concurrency Theory
Author :
Publisher : Springer
Total Pages : 594
Release :
ISBN-10 : 9783642329401
ISBN-13 : 3642329403
Rating : 4/5 (01 Downloads)

Book Synopsis CONCUR 2012- Concurrency Theory by : Maciej Koutny

Download or read book CONCUR 2012- Concurrency Theory written by Maciej Koutny and published by Springer. This book was released on 2012-09-02 with total page 594 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


CONCUR 2012- Concurrency Theory Related Books

CONCUR 2012- Concurrency Theory
Language: en
Pages: 594
Authors: Maciej Koutny
Categories: Computers
Type: BOOK - Published: 2012-09-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne,
CONCUR 2009 - Concurrency Theory
Language: en
Pages: 651
Authors: Mario Bravetti
Categories: Computers
Type: BOOK - Published: 2009-09-01 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1–4, 2009. The purpose of the CONC
Foundations of Software Science and Computational Structures
Language: en
Pages: 402
Authors: Luke Ong
Categories: Computers
Type: BOOK - Published: 2010-03-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 201
Foundations of Software Science and Computation Structures
Language: en
Pages: 575
Authors: Orna Kupferman
Categories: Computers
Type: BOOK - Published: 2023-04-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 272
Authors: Uli Fahrenberg
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK