monabs

MaRDI QIDQ30347swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0890540116000407

Described by source

• Lost in abstraction: monotonicity in multi-threaded programs

Cited in

(6)

• Delay-bounded scheduling without delay!
• Lost in abstraction: monotonicity in multi-threaded programs
• ACL2s
• SymmPa
• KITTeL
• SACO

This page was built for software: monabs