An Algebraic Theory of Process Efficiency (1996)

by V Natarajan, R Cleaveland
Venue:Proceedings Logic in Computer Science ’96, IEEE Computer