Process Algebra with Timing

By: J.C.M. Baeten, C.A. Middelburg

Write A Review

Hardcover | 4 July 2002

At a Glance

Hardcover
316 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e. g. of a controller. Even if timing is not essential for the correct behaviour of a system, there may be good reasons to introduce it in such a way that suitable timing becomes relevant for the correct behaviour of a complex system. This book is unique in presenting four algebraic theories about processes, each dealing with timing from a different point of view, in a coherent and systematic way. The timing of actions is either relative or absolute and the underlying time scale is either discrete or continuous. All presented theories are extensions of the algebra of communicating processes. The book is essential reading for researchers and advanced students interested in timing issues in the context of the design and analysis of concurrent and communicating processes.

Industry Reviews

From the reviews:

"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. ... Throughout the text small examples and exercises illustrate the theory. ... This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Engineering & Technology Mechanical Engineering & Materials Mechanical Engineering Mathematics Discrete Mathematics Mathematical Theory of Computation Computer Architecture & Logic Design Algebra

Other Editions and Formats

Paperback

Published: 15th December 2010

View Product

Preface
No Timing
Discrete Relative Timing
Discrete Absolute Timing
Continuous Relative Timing
Continuous Absolute Timing
Abstraction
Features
Soundness and Completeness
Background Material
Bibliography
Glossary
Index
Table of Contents provided by Publisher. All Rights Reserved.

Process Algebra with Timing

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Systems Analysis & Design

Fundamentals of Software Architecture

A Modern Engineering Approach

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Systems Analysis and Design

12th edition

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Rust Atomics and Locks

Low-Level Concurrency in Practice

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

UX For Beginners

A Crash Course in 100 Short Lessons

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

DAMA-DMBOK

Data Management Body of Knowledge

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Kubernetes - Up and Running

Dive into the Future of Infrastructure

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Rust Programming in easy steps

In Easy Steps

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Refactoring 2ed

Improving the Design of Existing Code

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Initialization and Diversity in Optimization Algorithms

This product is categorised by