Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Rodolfo Gomez [Repost]

Posted By: Free butterfly
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Rodolfo Gomez [Repost]

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

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.