Ett dataflödesnätverk består av noder som kommunicerar över perfekta obundna F I F O-kanaler. För dataflödesnätverk som endast innehåller deterministiska noder har en enkel och elegant semantisk modell presenterats av Kahn. För icke-deterministiska nätverk är emellertid den raka generaliseringen av Kahns modell inte kompositionell. Vi presenterar en kompositionsmodell för icke-deterministiska nätverk som är helt abstrakt, d.v.s. den har lagt till den minsta mängden extra information till Kahns modell som är nödvändig för att uppnå kompositionalitet. Modellen är baserad på spår. Vi generaliserar också vårt resultat och visar att modellen är helt abstrakt även för klasser av nätverk där noder kommunicerar över andra typer av asynkrona kanaler. Exempel på sådana klasser är nätverk med oordnade kanaler och nätverk med förlorade kanaler. * Denna forskningsrapport är en reviderad och utvidgad version av ett dokument som har publicerats under rubriken "En helt abstrakt spårmodell för dataflödesnätverk" i
En oändlig spårmodell för dataflödesnätverk-inklusive återkoppling, men inte rekursion presenterades i REF, och visades helt abstrakt.
A fully abstract trace model for dataflow and asynchronous networks
{'venue': 'Distributed Computing', 'journal': 'Distributed Computing', 'mag_field_of_study': ['Computer Science']}