Search
Now showing items 1-10 of 10
Adding Recursion to Dpi. (Extended Abstract)
(Electronic Notes in Theoretical Computer Science, 2006)
The Security Picalculus and Non-interference.
(Elsevier, 2005)
Security Policies as Membranes in Systems for Global Computing
(Elsevier, 2004)
Counting the cost in the picalculus.
(Elsevier Science Publishers B. V, 2009)