Barbara Liskov examines the evolution of abstractions, such as processes and software layers, to organize complex systems. Some abstractions are separate service processes invoked by RPC, others are overlaid on a user s process by monitors. Many have found their way into system programming languages.  Communication is a major issue.
['Barbara Liskov']
Perspectives on system languages and abstraction