Logical Analysis of Complex Concurrent Systems, Fachbücher von Radu Mardare
Das Buch "Logical Analysis of Complex Concurrent Systems" bietet einen logischen Rahmen zur Spezifikation und Analyse des Wis... Mehr erfahren
Finde die besten Angebote
Bester Preis39 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Logical Analysis of Complex Concurrent Systems" bietet einen logischen Rahmen zur Spezifikation und Analyse des Wissens von Beobachtern in einem komplexen, verteilten Berechnungssystem. Solche Systeme können Computer-Netzwerke, Finanzmärkte, biologische oder ökologische Systeme sowie soziale Netzwerke umfassen. Die Agenten, die diese Systeme beobachten, versuchen, Informationen über das System selbst sowie über andere Beobachter zu gewinnen. Der vorgestellte logische Rahmen ermöglicht die Analyse des Informationsflusses in diesen Szenarien und die Entwicklung von Strategien zur Informationsbeschaffung oder -austausch. Diese Arbeit kombiniert erfolgreich zwei Paradigmen der Informatik: Prozessalgebren und dynamisch-epistemische Logiken. Durch die Erweiterung der dynamisch-epistemischen Logiken auf Prozessalgebren wird ein neuer Ansatz zur Untersuchung von Kommunikations- und Sicherheitsfragen geschaffen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Lap Lambert Academic