![](/Images/spacer.gif) |
![](/Images/menu_shadow.gif)
![](/Images/menu_shadow.gif)
|
![](/Images/spacer.gif) |
Item Details
Title:
|
PROCESS ALGEBRA WITH TIMING
|
By: |
J. C. M. Baeten, C.A. Middelburg |
Format: |
Hardback |
![](/Images/divider_itemdetail_1a.gif)
List price:
|
£84.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
354043447X |
ISBN 13: |
9783540434474 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
4 July, 2002 |
Series: |
Monographs in Theoretical Computer Science : An Eatcs Series |
Pages: |
306 |
Description: |
Deals with the issue of timing in systems design and analysis. |
Synopsis: |
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. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
![](/images/spacer.gif) |
![](images/menu_shadow2.gif)
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
|
![](/Images/spacer.gif) |