Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

Autor:	Gebler, D., Fokkink, W.J., Koutny, M., Ulidowski, I.
Jazyk:	angličtina
Rok vydání:	2012
Předmět:	Discrete mathematics Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer science Principle of compositionality Probabilistic automaton Probabilistic CTL Probabilistic logic Modal logic Hennessy–Milner logic Operational semantics Probabilistic argumentation
Zdroj:	CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, 395-409 STARTPAGE=395;ENDPAGE=409;TITLE=CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings Lecture Notes in Computer Science ISBN: 9783642329395 CONCUR
Popis:	We present a method to decompose HML formulae for reactive probabilistic processes. This gives rise to a compositional modal proof system for the satisfaction relation of probabilistic process algebras. The satisfaction problem of a probabilistic HML formula for a process term is reduced to the question of whether its subterms satisfy a derived formula obtained via the operational semantics.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fadfbc6a2a8433a4ff50f2bb3d5d9926 https://research.tue.nl/nl/publications/1c0c0c69-918e-4714-8f65-bafc2618e231 Zobrazit plný text záznamu