================================================================================
P9304   S.F.M. van Vlijmen & A. van Waveren
        "On generating synchronous interworkings from PSF process traces"


Synchronous interworkings are a specification formalism on their own 
right, but might also be of help when analysing processes and process 
traces. In this paper the processes are specified in PSF and traces are 
PSF process traces. The main part of this paper is concerned with the 
definition of the notions needed to perform the generation of interworkings 
from traces and the conditions under which the generation is feasible. 
Furthermore we give a pseudo-code algorithm for the interworking 
generating function, give examples based on a trace of the Alternating Bit 
Protocol and discuss informally the role synchronous interworkings could 
have in the specification process.