How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

From International Center for Computational Logic

Toggle side column

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
  • 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}
}