How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
From International Center for Computational Logic
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum
Christel Baier, Mila E. Majster-Cederbaum
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Fundamenta Informaticae, 29(3):225--256, 1997
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Fundamenta Informaticae, 29(3):225--256, 1997
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@article{BM1997,
author = {Christel Baier and Mila E. Majster-Cederbaum},
title = {How to Interpret and Establish Consistency Results for Semantics of
Concurrent Programming Languages},
journal = {Fundamenta Informaticae},
volume = {29},
number = {3},
year = {1997},
pages = {225--256},
doi = {10.3233/FI-1997-29302}
}