Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
- ISBN-10
- 1846283361
- ISBN-13
- 9781846283369
- Category
- Computers
- Pages
- 422
- Language
- English
- Published
- 2006-02-28
- Publisher
- Springer Science & Business Media
- Authors
- Howard Bowman, Rodolfo Gomez
Description
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.
Get the book
Similar books
-
CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
By Lubos Brim, Petr Jancar, Mojmir KretinskyPresents a collection of papers that were presented at the International Conference on Concurrency Theory covering such topics as logic, probablistic systems, models of computation, and Petri nets.
-
CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
By Catuscia PalamidessiIn this work, we propose concepts of safety and liveness that are appropriate to systems with failures in that they avoid the counterintuitive classification illustrated above. These concepts that we call pure safety and pure liveness ...
-
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
By Christel BaierIn: CONCUR '05: Proceedings of the 16th international conference on Concurrency theory. Volume 3653 of Lecture Notes in Computer Science., Springer-Verlag (2005) 293–307 9. Jensen, O.H.: Mobile Processes in Bigraphs.
-
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
By Jos C.M. Baeten, Sjouke Mauw6. G. Bernot. Testing against formal specifications: A theoretical view. In S. Abramsky and T. S. E. Maibaum, editors, ... In G. von Bochmann and B. Sarikaya, editors, Protocol Specification, Testing, and Verification VI, pages 349–360.
-
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
By Mogens Nielsen, Kim G. LarsenIn 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages 406–421. Springer, 1996. D. Gollmann. Computer Security. John Wiley & Sons Ltd., 1999. M. Hennessy and J. Riely.
-
Introduction to Concurrency Theory: Transition Systems and CCS
By Roberto Gorrieri, Cristian Versari“Decoding choice encodings”, In Procs. of 7th International Conference on Concurrency Theory (CONCUR'96), LNCS 1119,179-194, Springer-Verlag, 1996. [NS94] X. Nicollin, J. Sifakis, “The algebra of timed processes ATP: Theory and ...
-
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995
By Jörg Desel... Nicholls (Eds) Interfaces to Database Systems (IDS92) Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1–3 July 1992 Richard Cooper (Ed.) AI and Cognitive Science'92 University of Limerick, ...
-
CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
By Paolo Baldan, University of Roma "La Sapienza"We give an overview of recent results and work in progress on deterministic negotiations, a concurrency model with atomic multi-party negotiations as primitive actions. Concurrency theory has introduced and investigated system models ...
-
CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
By Catuscia Palamidessi120 9. J. Esparza and S. Römer. An unfolding algorithm for synchronous products of transition systems. In Proceedings of the 10th International Conference on Concurrency Theory (Concur'99), pages 2–20. Springer-Verlag, 1999. LNCS 1664.
-
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
By Paul Gastin, Francois LaroussinieProcess calculi provide compositional theories for complex systems, especially those involving communicating, ... Thus, foundational concepts and results of standard concurrency theory are retained in their full beauty, ...