Search

• < Previous
• 1
• Next >

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying whether its subprocesses satisfy certain formulae&nbsp;[&hellip;]