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

Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum

DOI Link

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

Details
Bibtex

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