Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50) - Image 1

£62.68

Cambridge University Press Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Name: Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
Brand: Cambridge University Press
Price: 46.46 GBP
Availability: InStock

Languages

Price History & Forecast

Last 87 days • 87 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 87 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £46 (33 days, 37.9%)

Price range: £46 - £63

Price levels: 6 different prices over 87 days

Description

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521820499
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 16 December 2009
Listed Since: 19 October 2006

Barcode

No barcode data available

Cambridge University Press Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)

Modeling in Event-B: System and Software Engineering

Compositional Performance Modelling: 12 (Distinguished Dissertations in Computer Science, Series Number 12)

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Guide du management par les Processus: V4 BPM CBOK enrichi au niveau européen et traduit par les experts du Club des Pilotes de Processus

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

Process Control

Dynamics of Information Systems: Algorithmic Approaches: 51 (Springer Proceedings in Mathematics & Statistics, 51)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Business Process Management Workshops: BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers: 43 (Lecture Notes in Business Information Processing, 43)

Modeling Companion for Software Practitioners

Big Data Concepts, Theories, and Applications

Distributed System Design

Computer Science and Engineering―Theory and Applications: 143 (Studies in Systems, Decision and Control, 143)

An Introduction to Communication Network Analysis (IEEE Press)

Introduction to Distributed Self-Stabilizing Algorithms (Synthesis Lectures on Distributed Computing Theory)

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Product-Driven Process Design: From Molecule to Enterprise (De Gruyter STEM)

On Regenerative Processes in Queueing Theory: 121 (Lecture Notes in Economics and Mathematical Systems, 121)

Introduction to Digital Systems Design

Parallel Computer Organization and Design