Browsing by Subject Actor (Computer program language)
Showing results 1 to 12 of 12
Issue Date | Title | Author(s) |
2014 | Determining robustness of synchronous programs under stuttering | Bondin, Ingram; Pace, Gordon J. |
2017 | eAOP : an aspect oriented programming framework for Erlang | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2014 | On synchronous and asynchronous monitor instrumentation for actor-based systems | Cassar, Ian; Francalanza, Adrian |
2020-12 | Rx-PETaL : a reactive data publishing framework | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2013 | Static and dynamic analysis for robustness under slowdown | Bondin, Ingram; Pace, Gordon J. |
2017-08 | Thespis : actor-based causal consistency | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2021-09 | Thespis : causally-consistent OLTP | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2018-09 | ThespisDIIP : distributed integrity invariant preservation | Carl, Camilleri; Vella, Joseph G.; Nezval, Vitezslav |
2020 | ThespisTRX : causally-consistent read transactions | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2018-02 | ThespisTRX : initial results for causally-consistent read transactions | Vella, Joseph G.; Nezval, Vitezslav; Camilleri, Carl |
2015-08 | Typing actors using behavioural types | Masini, Joseph; Francalanza, Adrian |