The following pages link to (Q5015356):
Displaying 5 items.
- Expressivity of some versions of APAL (Q2055759) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- BISON instantiating the whitened swap-or-not construction (Q2292708) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)