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