Models for Concurrency (Algebra, Logic and Applications, Vol 11) - Hardcover

Buch 7 von 11: Algebra, Logic and Applications

Abraham, Uri

 
9789056991999: Models for Concurrency (Algebra, Logic and Applications, Vol 11)
Hardcover
ISBN 10: 905699199X ISBN 13: 9789056991999
Verlag: CRC Press, 1999

Inhaltsangabe

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.
The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Uri Abraham

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CRC Press
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
905699199X
ISBN 13 
9789056991999
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
238
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland