Specification languages for distributed systems. (English) Zbl 0563.68019

Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algebra and programming, Lect. Notes Comput. Sci. 185, 29-51 (1985).
[For the entire collection see Zbl 0561.00021.]
Requirements of specification languages for distributed systems are considered, and a two level approach based on a kernel metalanguage and many application-oriented extensions is advocated. The method is applied to some models developed by the authors, organized in a tree-like refinement structure.


68N25 Theory of operating systems
68P05 Data structures


Zbl 0561.00021