Search
Now showing items 1-10 of 41
Assigning Types to Processes
(IEEE Computer Society Press., 2000)
Priorities in process algebras.
(IEEE Computer Society, 1988)
A fully abstract denotational model for higher-order processes
(IEEE Computer Society Press, 1993)
Proof methodologies for behavioural equivalence in DPI
(Springer, 2005)
Adding Recursion to Dpi. (Extended Abstract)
(Electronic Notes in Theoretical Computer Science, 2006)