1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time...