Teapot

This publication has 18 references indexed in Scilit:

• Model checking software systems
  Published by Association for Computing Machinery (ACM) ,1995
• A new approach for the verification of cache coherence protocols
  IEEE Transactions on Parallel and Distributed Systems, 1995
• Optimistic active messages
  Published by Association for Computing Machinery (ACM) ,1995
• Fine-grain access control for distributed shared memory
  Published by Association for Computing Machinery (ACM) ,1994
• LCM
  Published by Association for Computing Machinery (ACM) ,1994
• Where is time spent in message-passing and shared-memory programs?
  Published by Association for Computing Machinery (ACM) ,1994
• Implementation and performance of Munin
  Published by Association for Computing Machinery (ACM) ,1991
• Using continuations to implement thread management and communication in operating systems
  Published by Association for Computing Machinery (ACM) ,1991
• Orca
  ACM SIGPLAN Notices, 1990
• Memory coherence in shared virtual memory systems
  ACM Transactions on Computer Systems, 1989