CONCUR 2013 -- Concurrency Theory

CONCUR 2013 -- Concurrency Theory
Author :
Publisher : Springer
Total Pages : 576
Release :
ISBN-10 : 9783642401848
ISBN-13 : 3642401848
Rating : 4/5 (848 Downloads)

Book Synopsis CONCUR 2013 -- Concurrency Theory by : Pedro R. D'Argenio

Download or read book CONCUR 2013 -- Concurrency Theory written by Pedro R. D'Argenio and published by Springer. This book was released on 2013-07-23 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.


CONCUR 2013 -- Concurrency Theory Related Books

CONCUR 2013 -- Concurrency Theory
Language: en
Pages: 576
Authors: Pedro R. D'Argenio
Categories: Computers
Type: BOOK - Published: 2013-07-23 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argenti
Introduction to Concurrency Theory
Language: en
Pages: 341
Authors: Roberto Gorrieri
Categories: Computers
Type: BOOK - Published: 2015-09-02 - Publisher: Springer

GET EBOOK

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition syst
Parameterized Verification of Synchronized Concurrent Programs
Language: en
Pages: 216
Authors: Zeinab Ganjei
Categories:
Type: BOOK - Published: 2021-03-19 - Publisher: Linköping University Electronic Press

GET EBOOK

There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of p
CONCUR '95 Concurrency Theory
Language: en
Pages: 566
Authors: Insup Lee
Categories: Computers
Type: BOOK - Published: 1995-09-09 - Publisher: Lecture Notes in Computer Science

GET EBOOK

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
Milestones in Analog and Digital Computing
Language: en
Pages: 2072
Authors: Herbert Bruderer
Categories: Computers
Type: BOOK - Published: 2021-01-04 - Publisher: Springer Nature

GET EBOOK

This Third Edition is the first English-language edition of the award-winning Meilensteine der Rechentechnik; illustrated in full color throughout in two volume