HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES

Article type: Research Article

Authors: Baier, Christel | Majster-Cederbaum, Mila

Affiliations: Fakultät für Mathematik und Informatik, Universität Mannheim, 68131 Mannheim, Germany, e-mail: {baier,mcb}@pi2.informatik.uni-mannheim.de

Abstract: It is meaningful that a language is provided with several semantic descriptions: e.g. one which serves the needs of the implementor, another one that is suitable for specification and yet another one that will be used to explain the language to the user. In this case one has to guarantee that the various semantics are ‘consistent’. The attempt of this paper is to clarify the notion ‘consistency’ and to present a general framework and theorems for consistency results.

DOI: 10.3233/FI-1997-29302

Journal: Fundamenta Informaticae, vol. 29, no. 3, pp. 225-256, 1997