monabs

swMATH18507MaRDI QIDQ30347FDOQ30347

Author name not available (Why is that?)

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