Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

By: No Information Available

Write A Review

Paperback | 25 August 2005

At a Glance

Paperback
280 Pages

Dimensions(cm)
24.4 x 17.1 x 1.9

Paperback

RRP $89.95

$81.99

or 4 interest-free payments of $20.50 with

Ships in 5 to 7 business days

The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for future research. The book is written for graduate students and researchers in computer science; the author assumes a basic understanding of mathematical terminology, predicate logic and programming, but develops the semantic concepts used in a self-contained manner. The core of the material can be used for a one-semester course on concurrent processes. The book is self-contained in the semantics used, and will be of considerable interest to researchers and graduates in computer science working in models of concurrency.

Industry Reviews

"The unique feature of this book is that it unifies different views of concurrency rather than adding another view. The author does so in a clear and convincing fashion...requires the reader to be fluent in such mathematical concepts as sets, relations, functions, and predicate logic, and to be familiar with the basic concepts of automata and regular languages. Readers who enjoy the mathematical maturity will find the book excellent: it is carefully written, and the material is presented in a well-chosen order and at the right level of detail. The author must be a good teacher." Martin Rem, Computing Reviews

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 $0.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 Computer Architecture & Logic Design Parallel Processing Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Networking & Communications

Introduction
Petri nets
Process terms
Logical formulas
Process construction
Extensions
References
Table of Contents provided by Publisher. All Rights Reserved.

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Quantum Control of Hybrid Spin-Oscillator Systems

Springer Theses

Algorithms in C, Parts 1-4

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

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

AI Engineering

Building Applications with Foundation Models

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Beading With Algorithms

Cellular Automata In Peyote Stitch

Beading With Algorithms

Cellular Automata In Peyote Stitch

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Tools for High Performance Computing 2024

Proceedings of the 15th International Workshop on Parallel Tools for High Performance Computing

This product is categorised by