Alan Mycroft Pierpaolo Degano Corrado Priami Complexity as a Basis for Comparing Semantic Models of Concurrency. 141-155 1995 conf/asian/1995 ASIAN db/conf/asian/asian95.html#MycroftDP95