Tschaikowski, Max and Tribastone, Mirco
Extended differential aggregations in process algebra for performance and biology.
In:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems.
Electronic Proceedings in Theoretical Computer Science
(154).
Open Publishing Association, pp. 34-47.
(2014)