CONCUR 2011 -- Concurrency Theory

CONCUR 2011 -- Concurrency Theory
Author: Joost-Pieter Katoen
Publisher: Springer Science & Business Media
Total Pages: 573
Release: 2011-08-26
Genre: Computers
ISBN: 3642232167

Download CONCUR 2011 -- Concurrency Theory Book in PDF, Epub and Kindle

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.

CONCUR 2014 – Concurrency Theory

CONCUR 2014 – Concurrency Theory
Author: Paolo Baldan
Publisher: Springer
Total Pages: 614
Release: 2014-08-23
Genre: Computers
ISBN: 3662445840

Download CONCUR 2014 – Concurrency Theory Book in PDF, Epub and Kindle

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.

Programming Languages and Systems

Programming Languages and Systems
Author: Matthias Felleisen
Publisher: Springer
Total Pages: 635
Release: 2013-03-02
Genre: Computers
ISBN: 3642370365

Download Programming Languages and Systems Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

Certified Programs and Proofs

Certified Programs and Proofs
Author: Jean-Pierre Jouannaud
Publisher: Springer
Total Pages: 414
Release: 2011-11-15
Genre: Computers
ISBN: 3642253792

Download Certified Programs and Proofs Book in PDF, Epub and Kindle

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Programming Languages and Systems

Programming Languages and Systems
Author: Hongseok Yang
Publisher: Springer Science & Business Media
Total Pages: 395
Release: 2011-11-18
Genre: Computers
ISBN: 3642253172

Download Programming Languages and Systems Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.

Quantitative Evaluation of Systems

Quantitative Evaluation of Systems
Author: Javier Campos
Publisher: Springer
Total Pages: 334
Release: 2015-08-21
Genre: Computers
ISBN: 3319222643

Download Quantitative Evaluation of Systems Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Author: Tiziana Margaria
Publisher: Springer
Total Pages: 661
Release: 2014-09-26
Genre: Computers
ISBN: 3662452316

Download Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Book in PDF, Epub and Kindle

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

Networked Systems

Networked Systems
Author: Karima Echihabi
Publisher: Springer Nature
Total Pages: 268
Release: 2021-12-01
Genre: Computers
ISBN: 3030910148

Download Networked Systems Book in PDF, Epub and Kindle

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.

Reversible Computation

Reversible Computation
Author: Jean Krivine
Publisher: Springer
Total Pages: 291
Release: 2015-06-19
Genre: Computers
ISBN: 3319208608

Download Reversible Computation Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

Language and Automata Theory and Applications

Language and Automata Theory and Applications
Author: Adrian-Horia Dediu
Publisher: Springer
Total Pages: 592
Release: 2013-03-15
Genre: Computers
ISBN: 3642370640

Download Language and Automata Theory and Applications Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao, Spain in April 2013. The 45 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 97 initial submissions. The volume features contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). Among the topics covered are algebraic language theory; algorithms for semi-structured data mining; algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata, concurrency and Petri nets; automatic structures; cellular automata; combinatorics on words; computability; computational complexity; computational linguistics; data and image compression; decidability questions on words and languages; descriptional complexity; DNA and other models of bio-inspired computing; document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.); grammars and automata architectures; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; language-based cryptography; language-theoretic foundations of artificial intelligence and artificial life; parallel and regulated rewriting; parsing; pattern recognition; patterns and codes; power series; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; symbolic neural networks; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.