The following pages link to A refined view of the box algebra (Q5096357):
Displaying 10 items.
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes (Q1623135) (← links)
- A new lattice construction: The box product (Q1818840) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus (Q6487391) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)