Wiederaufnahmebasierte E / A-Systeme?
Ich habe in letzter Zeit mit Wiederaufnahmen herumgespielt, hauptsächlich aus Abramskys klassischem Artikel Retracing Some Paths in Process Algebra . Sie sind ziemlich geschickt (im Grunde genommen Lösungen für die Domänengleichung ) und erinnern sehr an Kahn-Netzwerke.R = I.→ ( O × R )R=I→(O×R)R =...