SPIN

This publication has 9 references indexed in Scilit:

• Protocol service decomposition for high-performance networking
  Published by Association for Computing Machinery (ACM) ,1993
• Implementing network protocols at user level
  IEEE/ACM Transactions on Networking, 1993
• Fast mutual exclusion for uniprocessors
  Published by Association for Computing Machinery (ACM) ,1992
• Consistency management for virtually indexed caches
  Published by Association for Computing Machinery (ACM) ,1992
• Scheduler activations
  ACM Transactions on Computer Systems, 1992
• Using continuations to implement thread management and communication in operating systems
  Published by Association for Computing Machinery (ACM) ,1991
• Binding time analysis for high order untyped functional languages
  Published by Association for Computing Machinery (ACM) ,1990
• Lightweight remote procedure call
  Published by Association for Computing Machinery (ACM) ,1989
• Hints for Computer System Design
  IEEE Software, 1984