0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Concurrency Theory - Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover, 2006 ed.) Loot Price: R4,426
Discovery Miles 44 260
Concurrency Theory - Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover, 2006 ed.): Howard...

Concurrency Theory - Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover, 2006 ed.)

Howard Bowman, Rodolfo Gomez

 (sign in to rate)
Loot Price R4,426 Discovery Miles 44 260 | Repayment Terms: R415 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition,inthebiologicalworld,trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device to simplify the design process. However, the need for increasingly powerful, ?exible and usable computer systems mitigates against simplifying sequentiality assumptions. A good - ample of this is the all-powerful position held by the Internet, which is highly concurrent at many di?erent levels of decomposition. Thus, the modern c- puter scientist (and indeed the modern scientist in general) is forced to think aboutconcurrentsystemsandthesubtleandintricatebehaviourthatemerges from the interaction of simultaneously evolving components. Over a period of 25 years, or so, the ?eld of concurrency theory has been involved in the development of a set of mathematical techniques that can help system developers to think about and build concurrent systems. These theories are the subject matter of this book.

General

Imprint: Springer London
Country of origin: United Kingdom
Release date: December 2005
First published: 2006
Authors: Howard Bowman • Rodolfo Gomez
Dimensions: 235 x 155 x 25mm (L x W x T)
Format: Hardcover
Pages: 422
Edition: 2006 ed.
ISBN-13: 978-1-85233-895-4
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 1-85233-895-4
Barcode: 9781852338954

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,612 Discovery Miles 26 120
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,396 R3,066 Discovery Miles 30 660
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,651 Discovery Miles 36 510
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,387 Discovery Miles 63 870
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,608 Discovery Miles 36 080
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,696 Discovery Miles 26 960
Probability in Electrical Engineering…
Jean Walrand Hardcover R1,585 Discovery Miles 15 850
Advanced Topics in Bisimulation and…
Davide Sangiorgi, Jan Rutten Hardcover R3,404 Discovery Miles 34 040
Problem-Solving Processes in Humans and…
Morton Wagman Hardcover R2,775 Discovery Miles 27 750
Hajnal Andreka and Istvan Nemeti on…
Judit Madarasz, Gergely Szekely Hardcover R2,971 Discovery Miles 29 710
Logic and Implication - An Introduction…
Petr Cintula, Carles Noguera Hardcover R3,451 Discovery Miles 34 510
Recent Trends in Mathematical Modeling…
Vinai K. Singh, Yaroslav D. Sergeyev, … Hardcover R6,393 Discovery Miles 63 930

See more

Partners