Go to main content

School of Computer Science Intranet

APT research areas

Discover our main research areas

Dealing with Time Modelling Problems in Parallel Models of Asynchronous Computer Architectures

G. Theodoropoulos, J.V. Woods


Recently, there has been a resurgence of interest in asynchronous design techniques. The research activity in this area has pointed to the need for suitable techniques for modelling and simulating asynchronous systems. The occam programming language allows the rapid development of parallel simulation models of asynchronous systems but its distributed nature introduces time modelling problems. This paper presents the Program Driven Synchronization Protocol, a novel technique for dealing with these problems.

PDF (211K)