Computation model. Asynchronous processes The system is made up of a finite set Π of n > 1 asynchronous sequential processes, namely Π = {p1, . . . , pn}. “
Appears in 4 contracts
Samples: hal.science, hal.archives-ouvertes.fr, hal.archives-ouvertes.fr