Beyond micro-kernel design: decoupling modularity and protection in Lipto

This publication has 8 references indexed in Scilit:

• Service composition in Lipto
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hermes: an integrated language and system for distributed programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Clouds distributed operating system
  Computer, 1991
• The x-Kernel: an architecture for implementing network protocols
  IEEE Transactions on Software Engineering, 1991
• Lightweight remote procedure call
  ACM Transactions on Computer Systems, 1990
• Fine-grained mobility in the Emerald system
  ACM Transactions on Computer Systems, 1988
• Implementing remote procedure calls
  ACM Transactions on Computer Systems, 1984
• HYDRA
  Communications of the ACM, 1974