Pages that link to "Item:Q1383156"
From MaRDI portal
The following pages link to Proving properties of dynamic process networks (Q1383156):
Displaying 6 items.
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- Proof-based verification approaches for dynamic properties: application to the information system domain (Q2355384) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)
- A Note on Negative Tagging for Least Fixed-Point Formulae (Q4943549) (← links)