Open AccessA simple proof technique for priority-scheduled systems
Author(s) -
J. M. Anderson,
Mark Moir,
Srikanth Ramamurthy
Publication year - 2001
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - English
DOI - 10.17615/xgwz-sh37
Subject(s) - simple (philosophy) , computer science , philosophy , epistemology