Logical Analysis of Complex Concurrent Systems als Buch (kartoniert)
PORTO-
FREI

Logical Analysis of Complex Concurrent Systems

Dynamic-Epistemic Spatial Logics for Process Algebras. Paperback. Sprache: Englisch.
Buch (kartoniert)
This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological system, or a social … weiterlesen
Buch (kartoniert)

78,99 *

inkl. MwSt.
Portofrei
Sofort lieferbar
Logical Analysis of Complex Concurrent Systems als Buch (kartoniert)

Produktdetails

Titel: Logical Analysis of Complex Concurrent Systems
Autor/en: Radu Mardare

ISBN: 3838388984
EAN: 9783838388984
Dynamic-Epistemic Spatial Logics for Process Algebras.
Paperback.
Sprache: Englisch.
LAP Lambert Acad. Publ.

August 2010 - kartoniert - 244 Seiten

Beschreibung

This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological system, or a social network. The system is observed by agents who are trying to obtain information about it and about the other observers - the competitors. The logical framework allows one to analyze the flux of information in this kind of scenarios and to design strategies to obtain or exchange information. It is a framework conceived for addressing questions regarding communication and security issues. Formally, this work combines two successful paradigms from Computer Science: Process Algebras and Dynamic-Epistemic Logics. Starting from the observation that Process Algebras generalize the modal Kripke structures, this work proposes the Dynamic-Epistemic Spatial Logics which extend the Dynamic-Epistemic Logics developed for epistemic Kripke structures to the more general case of Process Algebras. Thus, this new class of logics combines features of process logics such as Hennessy- Milner and Spatial Logics with Epistemic Logic.

Portrait

Radu Mardare is a researcher at the Microsoft Research centre in Trento, Italy. He received his PhD in Computer Science from the University of Trento, holds a Master of Science in logic from Bucharest University and two bachelor degrees: one in Mathematics from "Al.I.Cuza" University of Iasi and one in Philosophy from Bucharest University.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Sicher & bequem bezahlen:
Bleiben Sie in Kontakt:
Hugendubel App
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

11 Bestellungen ins Ausland und der DHL-Paketversand sind von der kostenfreien Lieferung ausgeschlossen.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.

*** Gilt für Bestellungen auf Hugendubel.de. Von dem verlängerten Rückgaberecht ausgeschlossen sind eBooks, Hörbuch Downloads, tolino select, das Leseglück-Abo, die eKidz.eu Apps sowie phase6 Apps. Das gesetzliche Widerrufsrecht bleibt hiervon unberührt.