extinguish
发表于 2025-3-30 11:23:02
http://reply.papertrans.cn/24/2388/238745/238745_51.png
Coeval
发表于 2025-3-30 14:04:16
Fairness for Infinitary Controlinite. The fair scheduler for infinitary control is perhaps interesting for its apparent unfairness: instead of treating all processes equal, the scheduler discriminates each process against finitely many other processes. However, it also privileges each process against infinitely many other processes (in fact, all but finitely many).
指耕作
发表于 2025-3-30 17:35:02
Evaluation Trees for Proposition Algebra axiomatized in proposition algebra and that identifies more conditional statements than free valuation congruence is repetition-proof valuation congruence, which we characterize by a simple transformation on evaluation trees.
CAMP
发表于 2025-3-30 23:12:00
http://reply.papertrans.cn/24/2388/238745/238745_54.png