Pages that link to "Item:Q3719799"
From MaRDI portal
The following pages link to A logic for the description of non-deterministic programs and their properties (Q3719799):
Displayed 16 items.
- Modal logics for communicating systems (Q578896) (← links)
- Graphical versus logical specifications (Q685358) (← links)
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- Ready simulation for concurrency: it's logical! (Q988555) (← links)
- A logic for the specification and proof of regular controllable processes of CCS (Q1080653) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus (Q1350215) (← links)
- Inductive synthesis of recursive processes from logical properties (Q1854392) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- A Logical Process Calculus (Q2842601) (← links)
- Connection between logical and algebraic approaches to concurrent systems (Q3060196) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)