Rance Cleaveland Gerald Lüttgen V. Natarajan A Process Algebra with Distributed Priorities. 34-49 1996 conf/concur/1996 CONCUR db/conf/concur/concur1996.html#CleavelandLN96 http://dx.doi.org/10.1007/3-540-61604-7_46