Persistent URL of this record https://hdl.handle.net/1887/38223
Documents
-
- Download
- Title page_Contents
- open access
-
- Download
- Chapter 1 Introduction
- open access
-
- Download
- Chapter 9 Conclusion
- open access
-
- Download
- Curriculum Vitae_Bibliography_Index
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Automata-theoretic protocol programming
- All authors
- Jongmans, Sung-Shik Theodorus Quirinus
- Supervisor
- Arbab, F.
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science , Leiden University
- Date
- 2016-03-03
- Title of host publication
- IPA Dissertation Series
Publication Series
- Name
- 2016-01