Wednesday, April 4, 2012

Mutex Rule quick question

In the following rule for mutex:

•Two actions a1 and a2 are mutex if
(b) a1 is any action supporting P, and a2 either needs ~P, or gives ~P.

then would the following also apply?
(b) a1 is any action supporting ~P, and a2 either needs P, or gives P.


Ivan Zhou
Graduate Student
Graduate Professional Student Association (GPSA) Assembly Member
Eta Kappa Nu (HKN) Active Member
School of Computing, Informatics and Decision Systems Engineering
Ira A. Fulton School of Engineering
Arizona State University