Luận án Thực thi được Kiểm soát Ứng dụng đang được thực hiện trên @monad