A fully abstract trace model for dataflow and asynchronous networks Bengt Jonsson OriginalPaper Pages: 197 - 212