Process synchronisation in MASCOT

Abstract
The MASCOT approach to programming is concerned with the build up of software in a computer, its run time operation and the testing of individual facilities. A central feature of the approach is the manner in which certain synchronisation primitive procedures and control variables are used to achieve a high degree of modularity. This paper describes MASCOT software structure and synchronisation, and includes several examples to illustrate this style of programming.