2 works on record
Modelling Computing Systems
2016
The nonexistence of Finate Axiomatisation for CCS congruences