You might also like

More about Process Algebra with Timing

• Book details
• Synopsis
• Trending among others

You get 122 loyalty points

Book synopsis

Timing issues are of growing importance for the conceptualization and design of computer-based system. Timing may simply be es- sential for the correct behaviour of a system, e.g. of a controler. 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 contiuous. 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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: Process Algebra with Timing
• Author: Jos C. M. Baeten, C. A. Middelburg
• Language: English
• Binding: Hardback
• Number of pages: 287
• EAN: 9783540434474
• ISBN: 354043447X
• ID: 01564216
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 1370 g
• Dimensions: 235 × 155 × 21 mm
• Date of publishing: 04. July 2002

Trending among others

---

---

---