Search
Now showing items 1-4 of 4
Towards action-refinement in process algebras.
(IEEE Computer Society Press., 1989)
A fully abstract denotational model for higher-order processes
(IEEE Computer Society Press, 1993)
Assigning Types to Processes
(IEEE Computer Society Press., 2000)
Priorities in process algebras.
(IEEE Computer Society, 1988)