Pages that link to "Item:Q2643083"

The following pages link to Controlling information release in the \(\pi\)-calculus (Q2643083):

Displaying 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)