CONCUR '94: Concurrency Theory
CONCUR '94: Concurrency Theory

Author: Bengt Jonsson

Publisher: Springer

Published: 2006-04-10

Total Pages: 541

ISBN-13: 3540486542

DOWNLOAD EBOOK

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

CONCUR 2014 – Concurrency Theory
CONCUR 2014 – Concurrency Theory

Author: Paolo Baldan

Publisher: Springer

Published: 2014-08-23

Total Pages: 614

ISBN-13: 3662445840

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. 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 2001 - Concurrency Theory
CONCUR 2001 - Concurrency Theory

Author: Kim G. Larsen

Publisher: Springer Science & Business Media

Published: 2001-08-13

Total Pages: 594

ISBN-13: 3540424970

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

CONCUR 2013 -- Concurrency Theory
CONCUR 2013 -- Concurrency Theory

Author: Pedro R. D'Argenio

Publisher: Springer

Published: 2013-07-23

Total Pages: 576

ISBN-13: 3642401848

DOWNLOAD EBOOK

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.