Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS
Xjenza, 2015, Volume 3, Issue 1
Xjenza, 2015, Volume 3, Issue 1

Files in This Item:
File Description SizeFormat 
Typing Actors using Behavioural Types.pdf478.79 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.