Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fong Pong, Andreas Nowatzyk, Gunes Aybay, Michel Dubois. Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study. In Seif Haridi, Khayri A. M. Ali, Peter Magnusson, editors, Euro-Par 95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings. Volume 966 of Lecture Notes in Computer Science, pages 287-300, Springer, 1995.

This author has not been identified. Look up 'Fong Pong' in GoogleThis author has not been identified. Look up 'Andreas Nowatzyk' in GoogleThis author has not been identified. Look up 'Gunes Aybay' in GoogleThis author has not been identified. Look up 'Michel Dubois' in Google

runs on WebDSL