Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Rodolfo Gomez
Springer; 2006 edition | December 21, 2005 | English | ISBN: 1852338954 | 444 pages | PDF | 7 MB
Springer; 2006 edition | December 21, 2005 | English | ISBN: 1852338954 | 444 pages | PDF | 7 MB
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.