Persistent URL of this record https://hdl.handle.net/1887/81818
Documents
-
- Download
- Title pages_Contents_Prologue
-
open access
-
- Download
- Part I : Chapter 1
-
open access
-
- Download
- Part II : Chapter 2
-
open access
- Full text at publishers site
-
- Download
- Part II : Chapter 3
-
open access
- Full text at publishers site
-
- Download
- Part III : Chapter 4
-
open access
- Full text at publishers site
-
- Download
- Part III : Chapter 5
-
open access
- Full text at publishers site
-
- Download
- Part IV : Chapter 6
-
open access
- Full text at publishers site
-
- Download
- Epilogue_Acknowledgements
-
open access
-
- Download
- Summary in English
-
open access
-
- Download
- Summary in Dutch
-
open access
-
- Download
- Bibliography
-
open access
-
- Download
- Propositions
-
open access
In Collections
This item can be found in the following collections:
Asynchronous Programming in the Abstract Behavioural Specification Language
Abstract Behavioural Specification (ABS) is a language for designing executable models of parallel and distributed object-oriented systems based on active objects, and is defined in terms of a formal operational semantics which enables a variety of static and dynamic analysis techniques for the ABS models.
The overall goal of this thesis is to extend the asynchronous programming model and the corresponding analysis techniques in ABS.
- All authors
- Azadbakht, K.
- Supervisor
- Boer, F.S. de
- Co-supervisor
- Vink, E.P. de
- Committee
- Arbab, F.; Bonsangue, M.M.; Henrio, L.; Plaat, A.; Sirjani, M.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Leiden Institute of Advanced Computer Science , Faculty of Science , Leiden University
- Date
- 2019-12-11