Pages that link to "Item:Q4542148"

The following pages link to Region analysis and a π-calculus with groups (Q4542148):

Displaying 4 items.

• Typing correspondence assertions for communication protocols (Q1399972) (← links)
• Secrecy and group creation (Q1763430) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• Typing Safe Deallocation (Q5458390) (← links)