Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems.
Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. pp.79-96,
⟨10.1016/j.entcs.2005.10.033⟩.
⟨inria-00201087⟩