T ECHNICAL R EPORT Report No. CS2013-01 Date: January 2013 Synthesising Correct Concurrent Runtime Monitors in Erlang Adrian Francalanza Aldrin Seychell Department of Computer Science University of Malta Msida MSD 06 MALTA Tel: +356-2340 2519 Fax: +356-2132 0539 http://www.cs.um.edu.mt