Positive Dedalus programs tolerate non-causality

Autor: Ameloot, Tom J., Van den Bussche, Jan
Zdroj: In Journal of Computer and System Sciences November 2014 80(7):1191-1213
Databáze: ScienceDirect