W. E. Weihl
-
High-Level Views of Distributed Executions: Convex Abstract Events
Automated Software Engineering