Actors at work

Leiden Repository

Actors at work

Type: Doctoral Thesis
Title: Actors at work
Author: Nobakht, Behrooz
Issue Date: 2016-12-15
Keywords: Concurrency
Asynchronous messages
Programming languages
Java, Co-routine
Abs
Actor model
Abstract: The core contributions of this thesis target the intersection of object orientation, actor model, and concurrency. We choose Java as the main target programming language and as one of the mainstream object-oriented languages. We formalize a subset of Java and its concurrency API to facilitate formal verification and reasoning about it. We create an abstract mapping from a concurrent-object modeling language, ABS, to the programming semantics of concurrent Java. We provide the formal semantics of the mapping and runtime properties of the concurrency layer including deadlines and scheduling policies. We provide an implementation of the ABS concurrency layer as a Java API library and framework utilizing the latest language additions in Java 8.
Promotor: Supervisor: F.S. de Boer Co-Supervisor: P. T. de Gouw
Faculty: Science
University: Leiden
Uri: urn:isbn:9789402804362
Handle: http://hdl.handle.net/1887/45620
 

Files in this item

Description Size View
application/pdf Cover 312.4Kb View/Open
application/pdf Full text 2.782Mb View/Open
application/pdf Title page_Contents 1.098Mb View/Open
application/pdf Part I Introduction 80.26Kb View/Open
application/pdf Chapter 1 Introduction 353.9Kb View/Open
application/pdf Part II Programming model 80.26Kb View/Open
application/pdf Chapter 2 519.0Kb View/Open Full text at publisher site
application/pdf Chapter 3 453.0Kb View/Open Full text at publisher site
application/pdf Part III Implementation 80.26Kb View/Open
application/pdf Chapter 4 519.1Kb View/Open Full text at publisher site
application/pdf Part IV Application 80.25Kb View/Open
application/pdf Chapter 5 836.5Kb View/Open Full text at publisher site
application/pdf Chapter 6 476.8Kb View/Open Full text at publisher site
application/pdf Summary_Summary in Dutch 128.5Kb View/Open
application/pdf Currculum Vitae_Acknowledgements 155.6Kb View/Open
application/pdf Bibliography_List of figures_List of Tables 343.3Kb View/Open
application/pdf Propositions 106.8Kb View/Open

This item appears in the following Collection(s)