Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logical Analysis of Complex Concurrent Systems: Dynamic-Epis...
Immagini fornite dal venditore
Logical Analysis of Complex Concurrent Systems
Editore:
LAP LAMBERT Academic Publishing Aug 2010, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 244 pp. Englisch. Codice articolo 9783838388984
Compra nuovo
EUR 79,00
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Logical Analysis of Complex Concurrent Systems
Editore:
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Mardare RaduRadu 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 b. Codice articolo 5419140
Compra nuovo
EUR 63,42
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logical Analysis of Complex Concurrent Systems | Dynamic-Epistemic Spatial Logics for Process Algebras
Editore:
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Nuovo
Taschenbuch
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Logical Analysis of Complex Concurrent Systems | Dynamic-Epistemic Spatial Logics for Process Algebras | Radu Mardare | Taschenbuch | 244 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783838388984 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Codice articolo 107439344
Compra nuovo
EUR 66,40
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Logical Analysis of Complex Concurrent Systems
Editore:
LAP LAMBERT Academic Publishing Aug 2010, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 244 pp. Englisch. Codice articolo 9783838388984
Compra nuovo
EUR 79,00
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logical Analysis of Complex Concurrent Systems : Dynamic-Epistemic Spatial Logics for Process Algebras
Editore:
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Codice articolo 9783838388984
Compra nuovo
EUR 79,00
Spedizione EUR 61,91
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
Editore:
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838388984
ISBN 13: 9783838388984
Antico o usato
Paperback
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA79038383889846
Compra usato
EUR 162,94
Spedizione EUR 28,66
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili