Logical Analysis of Complex Concurrent Systems, Fachbücher von Radu Mardare
79,00 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
