Nivat's processing systems: decision problems related to protection and synchronization - Istrail, S; Masalagiu, C (Theoretical computer science, 1983)
Keywords: Applied sciences; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Exact sciences and technology; Software; Computer system