Pages that link to "Item:Q2643083"
From MaRDI portal
The following pages link to Controlling information release in the \(\pi\)-calculus (Q2643083):
Displayed 5 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- (Q3384915) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)