The following pages link to A logical process calculus (Q2842601):
Displaying 13 items.
- 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)
- A refinement calculus for specifications in Hennessy-Milner logic with recursion (Q911261) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Deterministic process logic is elementary (Q3323260) (← links)
- A Logical Calculus for Modelling Interferences (Q3525086) (← links)
- Process in Reality: A logical offering (Q3592814) (← links)
- (Q4668540) (← links)
- A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
- (Q4945247) (← links)
- From process logic to program logic (Q5178034) (← links)
- On recursive operations over logic LTS (Q5740660) (← links)