Pages that link to "Item:Q2841265"

The following pages link to Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265):

Displaying 3 items.

• \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
• Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
• On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)