14.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Programming... | >> | Applications Of Proc... |
14.0%OFF
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
-
ISBN
:
9780521400282
-
Publisher
:
Cambridge University Press
-
Subject
:
Computer Programming / Software Development, Mathematics, Computer Networking & Communications
-
Binding
:
HARDCOVER
-
Pages
:
326
-
Year
:
1990
₹
6916.0
14.0% OFF
₹
5947.0
5947.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View Details
-
Description
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.
Related Items
-
of
-
OFFER
Action Focused Assessment for Software Process Improvement
Tim Kasse
Starts At
6771.0
7874.0
14% OFF
-
OFFER
Communicating Process Architectures 2011: WoTUG-33 (Concurrent Systems Engineering)
P.H. Welch
Starts At
8711.0
10130.0
14% OFF
-
OFFER
Software Testing in the Real World : Improving the process
Edward Kit
Starts At
379.0
499.0
24% OFF
-
OFFER
UML 2 and the Unified Process : Practical Object-Oriented Analysis and Design
Jim Arlow
Starts At
594.0
675.0
12% OFF
-
OFFER
Software Reuse : Architecture, Process and Organization for Business Success
Jacobson
Starts At
383.0
525.0
27% OFF
-
OFFER
The Rational Unified Process : An Introduction
Philippe Kruchten
Starts At
277.0
375.0
26% OFF
-
OFFER
.NET Patterns : Architecture, Design, and Process
Christian Thilmany
Starts At
400.0
450.0
11% OFF
-
OFFER
MASTERING THE REQUIREMENTS PROCESS 2ND EDITION
Suzanne Robertson
Starts At
372.0
510.0
27% OFF
-
OFFER
Measuring the Software Process: Statistical Process Control for Software Process Improvement
William A. Florac
Starts At
269.0
350.0
23% OFF
-
OFFER
Process Assessment and Improvement: A Practical Guide for Managers, Quality Professionals and Assessors
Hans Van Loon
Starts At
5642.0
6561.0
14% OFF
-
OFFER
Polynomial Algorithms in Computer Algebra (Texts & Monographs in Symbolic Computation)
Franz Winkler
Starts At
8537.0
9382.0
9% OFF
-
OFFER
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes ... Computer Science and General Issues)
Alexander Kurz
Starts At
10013.0
11004.0
9% OFF
-
OFFER
Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Vladimir P. Gerdt
Starts At
10563.0
11004.0
4% OFF
