School of Computing

Design Support for Distributed Systems: DSE4DS

D.H. Akehurst, B. Bordbar, J. Derrick, and A.G. Waters

In J. Finney, M. Haahr, and A. Montressor, editors, Procedings of the 7th Cabernet Radicals Workshop, pages 182-196, October 2002.


Distributed System design is a highly complicated and non-trivial task. The problem is characterized by the need to design multi-threaded, multi-processor, and multi-media systems. Design frameworks such as Open Distributed Processing (ODP), the ITU/ISO standard, provide significant, theoretical, guidance and aids towards the provision of successful distributed system designs. The purpose of the DSE4DS project is to develop these theoretical aids into practical �design support� that will assist designers in the construction of distributed system specifications.

Download publication 168 kbytes (PDF)

Bibtex Record

author = {D.H. Akehurst and B. Bordbar and J. Derrick and A.G. Waters},
title = {{Design Support for Distributed Systems: DSE4DS}},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {16211_1035382837},
    booktitle = {Procedings of the 7th Cabernet Radicals Workshop},
    editor = {J. Finney and M. Haahr and A. Montressor},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014