Pages that link to "Item:Q2945719"
From MaRDI portal
The following pages link to Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719):
Displayed 5 items.
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- (Q5129942) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)