Checking Cache-Coherence Protocols with TLA:::+::: - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu. Checking Cache-Coherence Protocols with TLA:::+:::. Formal Methods in System Design, 22(2):125-131, 2003. [doi]

This author has not been identified. Look up 'Rajeev Joshi' in GoogleThis author has not been identified. Look up 'Leslie Lamport' in GoogleThis author has not been identified. Look up 'John Matthews' in GoogleThis author has not been identified. Look up 'Serdar Tasiran' in GoogleThis author has not been identified. Look up 'Mark R. Tuttle' in GoogleThis author has not been identified. Look up 'Yuan Yu' in Google

runs on WebDSL