The following pages link to Sequential calculus (Q674261):
Displaying 6 items.
- Sequential calculus (Q674261) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- On the antisymmetry of Galois embeddings (Q1603437) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)