Abstract is missing.
- Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithmEvgeniy Shishkin. 1-12 [doi]
- Distributed memory architecture for high-level synthesis of embedded controllers from ErlangKagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara. 13-19 [doi]
- eAOP: an aspect oriented programming framework for ErlangIan Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. 20-30 [doi]
- Structuring Erlang BEAM control flowDániel Lukács, Melinda Tóth. 31-42 [doi]
- The shared-memory interferences of Erlang/OTP built-insStavros Aronis, Konstantinos Sagonas. 43-54 [doi]
- Towards an Isabelle/HOL formalisation of core ErlangJoseph R. Harrison. 55-63 [doi]
- Towards change-driven testingViktória Fördós, István Bozó, Melinda Tóth. 64-65 [doi]