The following pages link to (Q3686025):
Displaying 8 items.
- Dynamic process logic (Q1092892) (← links)
- Some simulation results as to weakly correlated processes (Q1096972) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)
- A structural induction theorem for processes (Q1891157) (← links)
- Deterministic process logic is elementary (Q3323260) (← links)
- (Q3339281) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- Negative Results on Decidability and Small Model Property of Process Equations (Q5217303) (← links)