Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 23 to 39 of 39
< previous
Issue Date
Title
Author(s)
2013
polyLARVA plugin for Erlang
Galea, Ivan (2013)
2018
Reversible choreographies via monitoring in Erlang
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2012
Runtime verification of distributed systems
Masini, Joseph (2012)
2012
Synchronous and asynchronous monitoring in Elarva
Calleja, Justin (2012)
2013
Synthesising correct concurrent runtime monitors
Seychell, Aldrin (2013)
2015
Synthesising correct concurrent runtime monitors
Francalanza, Adrian
;
Seychell, Aldrin
2012
Towards a formalisation of Erlang failure and failure detection
Farrugia, Audrianne
;
Francalanza, Adrian
2012
Towards a specification-based correctness of Erlang systems through asynchronous monitoring
Colombo, Christian
;
Francalanza, Adrian
2013
Towards an abstraction for remote evaluation in Erlang
Francalanza, Adrian
;
Zerafa, Tyron
2020
Towards choreographic-based monitoring
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2011
Towards formalising Erlang failure and failure detection
Farrugia, Audrianne (2011)
2014
Towards sound refactoring in ERLANG
Tanti, Erica (2014)
2015-08
Towards sound refactoring in erlang
Tanti, Erica
;
Francalanza, Adrian
2013
A type system for Erlang
Vella, Annalizz (2013)
2023
Typing OTP design patterns with session types
Farrugia, Adrian (2023)
2013-11
The way forward for DETECTER
Francalanza, Adrian
;
Seychell, Aldrin
;
Cassar, Ian
;
Cutajar, Kurt
;
Said, Simon
;
Schembri, Blanche
2011
A π-calculus to Erlang compiler
Debono, Michael (2011)