Author : J. C. M. Baeten
Publisher : Cambridge University Press
Page : 477 pages
File Size : 25,76 MB
Release : 2010
Category : Computers
ISBN : 0521820499
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Author : J.A. Bergstra
Publisher : Elsevier
Page : 1357 pages
File Size : 33,71 MB
Release : 2001-03-16
Category : Computers
ISBN : 0080533671
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.
Author : Wan Fokkink
Publisher : Springer Science & Business Media
Page : 180 pages
File Size : 37,76 MB
Release : 1999-12-23
Category : Mathematics
ISBN : 9783540665793
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
Author : Alban Ponse
Publisher : Springer Science & Business Media
Page : 369 pages
File Size : 25,42 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1447121201
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers.
Author : Jan Friso Groote
Publisher : MIT Press
Page : 393 pages
File Size : 36,73 MB
Release : 2023-05-09
Category : Computers
ISBN : 0262547872
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer systems—computers connected by data networks and in constant communication with their environments—do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.
Author : Matthew Hennessy
Publisher : MIT Press (MA)
Page : 296 pages
File Size : 11,24 MB
Release : 1988
Category : Computers
ISBN :
Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.
Author : Charles Antony Richard Hoare
Publisher : Prentice Hall
Page : 264 pages
File Size : 12,83 MB
Release : 1985
Category : Computers
ISBN :
Author : Claude E Shannon
Publisher : University of Illinois Press
Page : 141 pages
File Size : 28,84 MB
Release : 1998-09-01
Category : Language Arts & Disciplines
ISBN : 025209803X
Scientific knowledge grows at a phenomenal pace--but few books have had as lasting an impact or played as important a role in our modern world as The Mathematical Theory of Communication, published originally as a paper on communication theory more than fifty years ago. Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.
Author : Laney Sammons
Publisher : ASCD
Page : 222 pages
File Size : 38,65 MB
Release : 2018-04-04
Category : Education
ISBN : 1416625577
Students learning math are expected to do more than just solve problems; they must also be able to demonstrate their thinking and share their ideas, both orally and in writing. As many classroom teachers have discovered, these can be challenging tasks for students. The good news is, mathematical communication can be taught and mastered. In Teaching Students to Communicate Mathematically, Laney Sammons provides practical assistance for K–8 classroom teachers. Drawing on her vast knowledge and experience as a classroom teacher, she covers the basics of effective mathematical communication and offers specific strategies for teaching students how to speak and write about math. Sammons also presents useful suggestions for helping students incorporate correct vocabulary and appropriate representations when presenting their mathematical ideas. This must-have resource will help you help your students improve their understanding of and their skill and confidence in mathematical communication.
Author : Berinderjeet Kaur
Publisher : World Scientific
Page : 335 pages
File Size : 44,10 MB
Release : 2012
Category : Business & Economics
ISBN : 9814405434
This fourth volume in the series of yearbooks by the Association of Mathematics Educators in Singapore entitled Reasoning, Communication and Connections in Mathematics is unique in that it focuses on a single theme in mathematics education. The objective is to encourage teachers and researchers to advance reasoning, communication and connections in mathematics classrooms. Several renowned international researchers in the field have published their work in this volume. The fifteen chapters of the book illustrate evidence-based practices that school teachers and researchers can experiment with in their own classrooms to bring about meaningful learning outcomes. Three major themes: mathematical tasks, classroom discourse, and connectivity within and beyond mathematics, shape the ideas underpinning reasoning, communication and connections in these chapters. The book makes a significant contribution towards mathematical processes essential for learners of mathematics. It is a good resource for mathematics educators and research students.
