A fully abstract trace model for dataflow and asynchronous networks (1994)

by B Jonsson
Venue:Distrib. Comput