Nets, Terms and Formulas
Nets, Terms and Formulas
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets.
Reviews & endorsements
"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
Product details
August 2005Paperback
9780521018456
280 pages
245 × 170 × 15 mm
0.446kg
Available
Table of Contents
- 1. Introduction
- 2. Petri nets
- 3. Process terms
- 4. Logical formulas
- 5. Process construction
- 6. Extensions
- References.
