Pages that link to "Item:Q2432758"
From MaRDI portal
The following pages link to Secure shared data-space coordination languages: a process algebraic survey (Q2432758):
Displaying 4 items.
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Providing data confidentiality against malicious hosts in shared data spaces (Q967526) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A process algebraic view of shared dataspace coordination (Q2474048) (← links)