Pages that link to "Item:Q3719799"

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)