Keyword:actor systems

Publications
A Suite of Monitoring Tools for Erlang Ian Cassar, Adrian Francalanza, Duncan Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
A Generic Instrumentation Tool for Erlang Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools