A multiprocessor description language
William T. Overman, Stephen D. Crocker, Vittal Kini · 1981
A language for describing multiprocessor systems is presented. The language, called MPDL, provides a flexible and unambiguous model of concurrency and allows for hierarchical construction of concurrent systems. MPDL encourages the user to encapsulate interprocess synchronization and communication in a special component called a connector. This encapsulation helps facilitate multilevel modeling and abstraction of communication protocols. A simulator for the language has been implemented and is running at ISI. This paper describes MPDL and evaluates the language in terms of two examples.