Process Algebra

Process Algebra
Title Process Algebra PDF eBook
Author J. C. M. Baeten
Publisher
Total Pages 460
Release 2010
Genre Electronic data processing
ISBN 9780511713170

Download Process Algebra Book in PDF, Epub and Kindle

Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes
Title Process Algebra: Equational Theories of Communicating Processes PDF eBook
Author J. C. M. Baeten
Publisher Cambridge University Press
Total Pages 477
Release 2010
Genre Computers
ISBN 0521820499

Download Process Algebra: Equational Theories of Communicating Processes Book in PDF, Epub and Kindle

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.

Applications of Process Algebra

Applications of Process Algebra
Title Applications of Process Algebra PDF eBook
Author J. C. M. Baeten
Publisher Cambridge University Press
Total Pages 332
Release 2005-02-17
Genre Computers
ISBN 9780521607506

Download Applications of Process Algebra Book in PDF, Epub and Kindle

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

A Journey from Process Algebra via Timed Automata to Model Learning

A Journey from Process Algebra via Timed Automata to Model Learning
Title A Journey from Process Algebra via Timed Automata to Model Learning PDF eBook
Author Nils Jansen
Publisher Springer Nature
Total Pages 593
Release 2022-09-06
Genre Computers
ISBN 3031156293

Download A Journey from Process Algebra via Timed Automata to Model Learning Book in PDF, Epub and Kindle

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

Modeling Time in Computing

Modeling Time in Computing
Title Modeling Time in Computing PDF eBook
Author Carlo A. Furia
Publisher Springer Science & Business Media
Total Pages 430
Release 2012-10-19
Genre Computers
ISBN 3642323316

Download Modeling Time in Computing Book in PDF, Epub and Kindle

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

SOFSEM 2013: Theory and Practice of Computer Science

SOFSEM 2013: Theory and Practice of Computer Science
Title SOFSEM 2013: Theory and Practice of Computer Science PDF eBook
Author Peter van Emde Boas
Publisher Springer
Total Pages 579
Release 2013-01-12
Genre Computers
ISBN 3642358438

Download SOFSEM 2013: Theory and Practice of Computer Science Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.

CONCUR 2008 - Concurrency Theory

CONCUR 2008 - Concurrency Theory
Title CONCUR 2008 - Concurrency Theory PDF eBook
Author Franck van Breugel
Publisher Springer
Total Pages 537
Release 2008-08-19
Genre Computers
ISBN 3540853618

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

This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19–22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri?cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri?cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume.