c3.6 Differentiation
S OCIALIZATION F ACTORS PET 489 Student Teaching Seminar Fall Semester 2012.
On Reducing the Global State Graph for Verification of Distributed Computations Vijay K. Garg, Arindam Chakraborty Parallel and Distributed Systems Laboratory.
Socialization Factors
On Reducing the Global State Graph for Verification of Distributed Computations