Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) Adrian Francalanza1 and Aldrin Seychell1 Computer Science, ICT, University of Malta. {afra1,asey0001 - University of Malta - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-06-30 05:34:28		Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) Adrian Francalanza1 and Aldrin Seychell1 Computer Science, ICT, University of Malta. {afra1,asey0001}@um.edu.mt Add to Reading List Source URL: staff.um.edu.mt Download Document from Source Website File Size: 251,72 KB Share Document on Facebook