Modelling and Model Checking a Distributed Shared Memory Consistency Protocol-Reference-Cited by-同舟云学术

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

Published:1998 Issue: Volume: Page:84-103
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1998
language:
Short-container-title:

Author:

Fisler Kathi,Girault Claude

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-69108-1_6

Reference28 articles.

1. Adve, S. V., Gharachorloo, K.: Shared Memory Consistency Models: A Tutorial. In IEEE Computer, 29,12 (Dec. 1996) 66–76

2. Baer, J-L., Girault, C.: A Petri net model for a solution to the cache coherence problem. In Proc. First International Conference on Supercomputing Systems, St Petersburg, Florida (1985) 680–689

3. Barroso, L.A., Dubois, M.: Cache Coherence on a Slotted Ring. In IEEE Trans. on Computers, 44,7, Berlin, Germany (Sept. 1991)

4. Blondel, X., Rosenfeld, L., Ruget, F., Singhoff, F.: Expériences de Mise au Point d’un Algorithme Réparti. To appear in Technique et Science Informatiques (1998)

5. Carter, J., Bennett, J., Zwaenepoel, W.: Implementation and Performance of Munin. In Proc. 13th ACM Symposium on Operating System Principles (1991) 152–164

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design;Lecture Notes in Computer Science;2004

2. An Overview of MSR( );Electronic Notes in Theoretical Computer Science;2002-11

3. Algorithmic Verification of Invalidation-Based Protocols;Computer Aided Verification;2002

4. Networks of Processes with Parameterized State Space;Electronic Notes in Theoretical Computer Science;2001-08