Matthew Hennessy;H. Lin
-;-
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems
Real-Time Systems
A semantic theory for value-passing processes based on the late approach
Information and Computation
On quasi-open bisimulation
Theoretical Computer Science