Bengt Jonsson
-
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing