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
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Artificial Intelligence
Department of Communications and Computer Engineering
Department of Computer Information Systems
Department of Computer Science
Department of Microelectronics and Nanoelectronics
Dissertations - FacICT
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 17 (Search time: 0.012 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2010
Distributed protocols as behaviours in Erlang
Demicoli, Darren
;
Francalanza, Adrian
2013-11
Equivalence proofs for Erlang refactoring
Tanti, Erica
;
Francalanza, Adrian
2013
Towards an abstraction for remote evaluation in Erlang
Francalanza, Adrian
;
Zerafa, Tyron
2012
Towards a specification-based correctness of Erlang systems through asynchronous monitoring
Colombo, Christian
;
Francalanza, Adrian
2012
Towards a formalisation of Erlang failure and failure detection
Farrugia, Audrianne
;
Francalanza, Adrian
2011
ELARVA : a monitoring tool for Erlang
Colombo, Christian
;
Francalanza, Adrian
;
Gatt, Rudolph
2012-11
Designing correct runtime-monitors for Erlang
Seychell, Aldrin
;
Francalanza, Adrian
2015
Synthesising correct concurrent runtime monitors
Francalanza, Adrian
;
Seychell, Aldrin
2013
Code management automation for Erlang remote actors
Francalanza, Adrian
;
Zerafa, Tyron
2009
Assessing design patterns for concurrency
Leguesse, Fikre
;
Francalanza, Adrian
Discover
Author
3
Cassar, Ian
3
Seychell, Aldrin
3
Zerafa, Tyron
2
Colombo, Christian
2
Mezzina, Claudio Antares
2
Tanti, Erica
2
Tuosto, Emilio
1
Aceto, Luca
1
Cutajar, Kurt
.
next >
Subject
3
Distributed algorithms
3
Object monitors (Computer software)
3
Software refactoring
2
Actor (Computer program language)
2
Aspect-oriented programming
2
Computer programs -- Correctness
2
Computer software -- Development
2
Declarative programming languages
2
Distributed operating systems (Co...
.
next >