Pages that link to "Item:Q5756976"

The following pages link to Boxed ambients with communication interfaces (Q5756976):

Displaying 4 items.

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
• Pict correctness revisited (Q1004056) (← links)
• Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
• Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)