Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

 
9783838388984: Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

About the Author:

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.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

Stock Image

1.

Mardare, Radu
Published by Omniscriptum Gmbh & Co. Kg. 2010-08-02 (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)

Book Description Omniscriptum Gmbh & Co. Kg. 2010-08-02, 2010. paperback. Condition: New. Seller Inventory # 9783838388984

More information about this seller | Contact this seller

Buy New
58.67
Convert currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, rates & speeds
Stock Image

2.

Mardare, Radu
Published by LAP Lambert Academic Publishing (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)

Book Description LAP Lambert Academic Publishing, 2010. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783838388984

More information about this seller | Contact this seller

Buy New
67.72
Convert currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, rates & speeds
Stock Image

3.

Mardare, Radu
Published by LAP Lambert Academic Publishing (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)

Book Description LAP Lambert Academic Publishing, 2010. PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783838388984

More information about this seller | Contact this seller

Buy New
75.19
Convert currency

Add to Basket

Shipping: 0.76
From U.S.A. to United Kingdom
Destination, rates & speeds
Stock Image

4.

Radu Mardare
Published by LAP Lambert Acad. Publ. Aug 2010 (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)

Book Description LAP Lambert Acad. Publ. Aug 2010, 2010. Taschenbuch. Condition: Neu. 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. Seller Inventory # 9783838388984

More information about this seller | Contact this seller

Buy New
68.63
Convert currency

Add to Basket

Shipping: 8.35
From Germany to United Kingdom
Destination, rates & speeds
Stock Image

5.

Radu Mardare
Published by LAP Lambert Acad. Publ. Aug 2010 (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)

Book Description LAP Lambert Acad. Publ. Aug 2010, 2010. Taschenbuch. Condition: Neu. 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. Seller Inventory # 9783838388984

More information about this seller | Contact this seller

Buy New
68.63
Convert currency

Add to Basket

Shipping: 8.35
From Germany to United Kingdom
Destination, rates & speeds
Stock Image

6.

Radu Mardare
Published by LAP Lambert Acad. Publ. Aug 2010 (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Taschenbuch Quantity Available: 1
Print on Demand
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)

Book Description LAP Lambert Acad. Publ. Aug 2010, 2010. Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand 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. Seller Inventory # 9783838388984

More information about this seller | Contact this seller

Buy New
68.63
Convert currency

Add to Basket

Shipping: 29.10
From Germany to United Kingdom
Destination, rates & speeds
Stock Image

7.

Radu Mardare
Published by LAP Lambert Academic Publishing, Germany (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Paperback Quantity Available: 1
Seller:
The Book Depository EURO
(London, United Kingdom)

Book Description LAP Lambert Academic Publishing, Germany, 2010. Paperback. Condition: New. Language: English. Brand new Book. 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. Seller Inventory # KNV9783838388984

More information about this seller | Contact this seller

Buy New
102.95
Convert currency

Add to Basket

Shipping: 2.20
Within United Kingdom
Destination, rates & speeds
Stock Image

8.

Radu Mardare
Published by LAP LAMBERT Academic Publishing (2010)
ISBN 10: 3838388984 ISBN 13: 9783838388984
New Softcover Quantity Available: > 20
Print on Demand
Seller:
California Books
(MIAMI, FL, U.S.A.)

Book Description LAP LAMBERT Academic Publishing, 2010. Condition: New. This book is printed on demand. Seller Inventory # I-9783838388984

More information about this seller | Contact this seller

Buy New
106.12
Convert currency

Add to Basket

Shipping: 10.61
From U.S.A. to United Kingdom
Destination, rates & speeds