CONCUR 2004 -- Concurrency Theory
CONCUR 2004 -- Concurrency Theory

Author: Philippa Gardner

Publisher: Springer

Published: 2011-03-22

Total Pages: 541

ISBN-13: 3540286446

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

CONCUR 2006 - Concurrency Theory
CONCUR 2006 - Concurrency Theory

Author: Christel Baier

Publisher: Springer

Published: 2006-08-03

Total Pages: 536

ISBN-13: 3540373772

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. The 29 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

CONCUR 2005 - Concurrency Theory
CONCUR 2005 - Concurrency Theory

Author: Martín Abadi

Publisher: Springer Science & Business Media

Published: 2005-08-08

Total Pages: 591

ISBN-13: 3540283099

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.

CONCUR 2007 - Concurrency Theory
CONCUR 2007 - Concurrency Theory

Author: Luís Caires

Publisher: Springer Science & Business Media

Published: 2007-08-22

Total Pages: 518

ISBN-13: 3540744061

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory

Author: Joost-Pieter Katoen

Publisher: Springer

Published: 2011-08-27

Total Pages: 573

ISBN-13: 3642232175

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Author: Kamal Lodaya

Publisher: Springer Science & Business Media

Published: 2004-12-02

Total Pages: 546

ISBN-13: 3540240586

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004. The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, automata theory, and theoretical computer science in general.

CONCUR 2009 - Concurrency Theory
CONCUR 2009 - Concurrency Theory

Author: Mario Bravetti

Publisher: Springer Science & Business Media

Published: 2009-08-17

Total Pages: 651

ISBN-13: 3642040802

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

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.

CONCUR 2004 -- Concurrency Theory
CONCUR 2004 -- Concurrency Theory

Author: Philippa Gardner

Publisher: Springer

Published: 2004-08-19

Total Pages: 534

ISBN-13: 9783540229407

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

Implementation and Application of Automata
Implementation and Application of Automata

Author: Jacques Farré

Publisher: Springer Science & Business Media

Published: 2006-02-14

Total Pages: 370

ISBN-13: 3540310231

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Implementation and Application of Automata, CIAA 2005, held in Sophia Antipolis, France, in June 2005. The 26 revised full papers and 8 revised poster papers presented together with 2 invited contributions were selected from 87 submissions and have gone through two rounds of reviewing and improvement. The topics covered show applications of automata in many fields, including mathematics, linguistics, networks, XML processing, biology and music.