Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts

A macro notation incorporating path notation is introduced. The notation was designed to permit the specification of the behaviour of a distributed system in terms of resources characterized by associated synchronization statements. The proper co-ordination of processes using the resources can thus be stated as the permissible order of execution of operations on shared resources as part of the resource definition. This contrasts with the usual …