Publisher
Open Publishing Association
Reference10 articles.
1. An Efficiency Preorder for Processes;S. Arun-Kumar;Acta Inform.,1992
2. Liveness of a Mutex Algorithm in a Fair Process Algebra;F. Corradini;Acta Informatica,2009
3. Performance of pipelined asynchronous systems;F. Corradini;J. Logic and Algebraic Programming,2007
4. A Process Algebra for Timed Systems;M.C.B. Hennessy;Inform. and Comp.,1995