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 17 to 36 of 39 < previous   next >
Issue DateTitleAuthor(s)
2012Implementing code on demand using ErlangCutajar, Brendan (2012)
2023Instrumenting inline runtime monitoring in ElixirGauci, Paul (2023)
2011Mapping channel-based message passing to mailbox message passing in ErlangColombo, Joseph (2011)
2014-11Mobile Erlang computations to enhance performance, resource usage and reliabilityFrancalanza, Adrian; Zerafa, Tyron
2012Monitoring as an instance of behaviour in ErlangSpiteri, Elise Ann (2012)
2014On synchronous and asynchronous monitor instrumentation for actor-based systemsCassar, Ian; Francalanza, Adrian
2013polyLARVA plugin for ErlangGalea, Ivan (2013)
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)
Showing results 17 to 36 of 39 < previous   next >