MModelling Computing SystemsModelling Computing Systemsde Faron Moller, Georg StruthMateriasLogic designComputer scienceComputational complexityEdiciones (1)Modelling Computing Systems (2016)Springer London, Limited · inglés · ISBN 9781848003224Más obras de Faron MollerTThe nonexistence of Finate Axiomatisation for CCS congruence