Nivat's processing systems: decision problems related to protection and synchronization
S Istrail, C Masalagiu - Theoretical computer science, 1983 - Elsevier
The paper introduces a model for processing systems which provides 'environment'to the
abstract notion of process as introduced by Nivat [13]. A basic component of the model is a …
abstract notion of process as introduced by Nivat [13]. A basic component of the model is a …