CONCUR 2014 – Concurrency Theory

CONCUR 2014 – Concurrency Theory
Author :
Publisher : Springer
Total Pages : 614
Release :
ISBN-10 : 9783662445846
ISBN-13 : 3662445840
Rating : 4/5 (840 Downloads)

Book Synopsis CONCUR 2014 – Concurrency Theory by : Paolo Baldan

Download or read book CONCUR 2014 – Concurrency Theory written by Paolo Baldan and published by Springer. This book was released on 2014-08-23 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.


CONCUR 2014 – Concurrency Theory Related Books

CONCUR 2014 – Concurrency Theory
Language: en
Pages: 614
Authors: Paolo Baldan
Categories: Computers
Type: BOOK - Published: 2014-08-23 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. T
Foundations of Software Science and Computation Structures
Language: en
Pages: 644
Authors: Jean Goubault-Larrecq
Categories: Mathematics
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Foundations of Software Science and Computation Structures
Language: en
Pages: 571
Authors: Javier Esparza
Categories: Computers
Type: BOOK - Published: 2017-03-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which to
Formal Methods: Foundations and Applications
Language: en
Pages: 234
Authors: Gustavo Carvalho
Categories: Computers
Type: BOOK - Published: 2020-11-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Bra
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 352
Authors: Alessandro Abate
Categories: Computers
Type: BOOK - Published: 2017-09-01 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berl