These papers are available for downloading. A list of BibTeX entries is available should you wish to cite any of these. For convenient access, papers have been grouped by subject although there is considerable overlap among these. Within each subject, papers are listed by author and date.
Architecture Description and Specification Architecture
Distributed Systems and (Tele)Communications
E-Science
Formal Description Techniques and Formal Methods
Hardware Description and Validation
Medical Informatics and Telecare
Requirements Specification
Miscellaneous
See the Computing Science and Mathematics Technical Reports for additional papers.
Information about my edited books is also available:
Service Provision - Technologies for Next Generation Communications Systems
Using Formal Description Techniques
Up one level to Ken Turner - Research Activities
Last Update: 24th July 2018