The following pages link to (Q4381704):
Displayed 7 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)