Abstract is missing.
- iDeA: an immersive debugger for actorsAman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar. 1-12 [doi]
- Understanding formal specifications through good examplesAlex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang. 13-24 [doi]
- Modelling distributed Erlang within a single nodeStavros Aronis, Viktória Fördós, Dániel Szoboszlay. 25-36 [doi]
- Automatic detection of core Erlang message passing errorsJoseph Harrison. 37-48 [doi]
- Typing the wild in ErlangNachiappan Valliappan, John Hughes. 49-60 [doi]
- Modeling Erlang processes as Petri netsJörgen Brandt, Wolfgang Reisig. 61-66 [doi]
- Towards secure Erlang systemsAlexandre Jorge Barbosa Rodrigues, Viktória Fördós. 67-70 [doi]