Mascot 3: an informal introductory tutorial

摘要

Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.