what is the dissertation that was authored by the same person as verifying concurrent programs using linear time temporal logic?
(AND education.dissertation (JOIN book.written_work.author (JOIN book.author.works_written m.059w8p6)))