Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/8279
Title: | Typing actors using behavioural types |
Authors: | Masini, Joseph Francalanza, Adrian |
Keywords: | Actor (Computer program language) |
Issue Date: | 2015-08 |
Publisher: | Malta Chamber of Scientists |
Citation: | Masini, J., & Francalanza, A. (2015). Typing actors using behavioural types. Xjenza, 3(1), 51-55 |
Abstract: | The actor model of computation assists and disciplines the development of concurrent programs by forcing the software engineer to reason about high-level concurrency abstractions. While this leads to a better handling of concurrency-related issues, the model itself does not exclude erratic program behaviours. In this paper we consider the actor model and investigate a type-based static analysis to identify actor systems which may behave erraticly during runtime. We consider the notion of behavioural types and consider issues related to the nature of the actor model including non-determinism, multi-party communication, dynamic actor spawning, non-finite computation and a possibly changing communication topology, which we contrast with existing works. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/8279 |
Appears in Collections: | Scholarly Works - FacICTCS Xjenza, 2015, Volume 3, Issue 1 Xjenza, 2015, Volume 3, Issue 1 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Typing Actors using Behavioural Types.pdf | 478.79 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.