Follow
James Dibley
James Dibley
PhD student, Rhodes University
Verified email at campus.ru.ac.za - Homepage
Title
Cited by
Cited by
Year
An Investigation of the XMOS XSl Architecture as a Platform for Development of Audio Control Standards
J Dibley
Rhodes University, 2013
32013
An investigation into the AES X170 project for control of Ethernet AVB networks
J Dibley, RJ Foss
Southern Africa Telecommunication Networks and Applications Conference …, 2012
32012
Workshop on translating csp-based languages to common programming languages
B Vinter, LJ Dickson, J Dibley
Communicating Process Architectures 2017 & 2018, 579-579, 2019
22019
Implementation of AES-64 connection management for Ethernet Audio/Video Bridging devices
J Dibley, R Foss
Audio Engineering Society Convention 135, 2013
12013
Deriving Reusable Go Components from Verified CSP Prototypes
J Dibley, K Bradshaw
Communicating Process Architectures 2017 & 2018, 431-450, 2019
2019
A DEVELOPMENT METHOD FOR DERIVING REUSABLE CONCURRENT PROGRAMS FROM VERIFIED CSP MODELS
J Dibley
2018
Towards automatic code generation from verified models of concurrent systems
J Dibley, K Bradshaw
Implementing AES-64 Control for Ethernet AVB
J Dibley, R Foss
HADEDA: A Concurrent Music Synthesis Project for the XMOS startKIT
J Dibley, K Bradshaw
The system can't perform the operation now. Try again later.
Articles 1–9