The following pages link to Sequential calculus (Q674261):
Displaying 11 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)
- Towards a design calculus for CSP (Q1916361) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- (Q4132487) (← links)
- Nonrepresentable sequential algebras (Q4353720) (← links)
- Assertions and recursions (Q4645810) (← links)
- An algebraic approach to temporal logic (Q5096734) (← links)