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	Meta Content
	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 Document Date: 2013-06-30 05:34:28 Open Document File Size: 251,72 KB Share Result on Facebook

Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) Adrian Francalanza1 and Aldrin Seychell1 Computer Science, ICT, University of Malta. {afra1,asey0001}@um.edu.mtAdd to Reading List