A timed component algebra for services (2013)

by B Delahaye, J L Fiadeiro, A Legay, A Lopes
Venue:FMOODS/FORTE, volume 7892 of LNCS