1. OAR@UM

Browsing by Subject ERLANG (Computer program language)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 24 to 39 of 39 < previous 
Issue DateTitleAuthor(s)
2018Reversible choreographies via monitoring in ErlangFrancalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2012Runtime verification of distributed systemsMasini, Joseph (2012)
2012Synchronous and asynchronous monitoring in ElarvaCalleja, Justin (2012)
2013Synthesising correct concurrent runtime monitorsSeychell, Aldrin (2013)
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2012Towards a formalisation of Erlang failure and failure detectionFarrugia, Audrianne; Francalanza, Adrian
2012Towards a specification-based correctness of Erlang systems through asynchronous monitoringColombo, Christian; Francalanza, Adrian
2013Towards an abstraction for remote evaluation in ErlangFrancalanza, Adrian; Zerafa, Tyron
2020Towards choreographic-based monitoringFrancalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2011Towards formalising Erlang failure and failure detectionFarrugia, Audrianne (2011)
2014Towards sound refactoring in ERLANGTanti, Erica (2014)
2015-08Towards sound refactoring in erlangTanti, Erica; Francalanza, Adrian
2013A type system for ErlangVella, Annalizz (2013)
2023Typing OTP design patterns with session typesFarrugia, Adrian (2023)
2013-11The way forward for DETECTERFrancalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche
2011A π-calculus to Erlang compilerDebono, Michael (2011)
Showing results 24 to 39 of 39 < previous