ON TWO REPRESENTATIONS OF CONCURRENT PROGRAMS
Under generic conditions, for each fixed input data, the observable behavior of a shared memory concurrent program in the Interleaving Parallel Composition Language extended with the Start and Join operations is equivalent to the observable behavior of a certain execution of a parallel composition of a fixed number of...
T. Panchenko, S. Fabunmi
· 0 citations