{"product_id":"logical-analysis-of-complex-concurrent-systems-von-radu-mardare","title":"Logical Analysis of Complex Concurrent Systems","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783838388984\"\u003e\u003ch3\u003eDynamic-Epistemic Spatial Logics for Process Algebras\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783838388984","offer_id":39469275742301,"sku":"9783838388984","price":79.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e0049515-301c-4be6-aea1-cbe22306d70e.jpg?v=1757827633","url":"https:\/\/shop.autorenwelt.de\/en\/products\/logical-analysis-of-complex-concurrent-systems-von-radu-mardare","provider":"Autorenwelt Shop","version":"1.0","type":"link"}