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.
CITATION STYLE
Degano, P., & Montanari, U. (1985). Specification languages for distributed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 185 LNCS, pp. 29–51). Springer Verlag. https://doi.org/10.1007/3-540-15198-2_3
Mendeley helps you to discover research relevant for your work.