Denotational Linear Time Semantics and Sequential Composition

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

DOI Link

Christel Baier, Mila E. Majster-Cederbaum
Denotational Linear Time Semantics and Sequential Composition
Information Processing Letters, 59(3):135--143, 1996

Details
Bibtex

KurzfassungAbstract
This paper focuses on the issue of modelling sequential composition in denotational linear time semantics for (nondeterministic) languages which admit infinite computations. This operator deserves special attention as it causes problems to meet the requirements of a standard denotational semantics based on metric spaces or cpo's. We present a general framework for the treatment of sequential composition.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@article{BM1996,
  author  = {Christel Baier and Mila E. Majster-Cederbaum},
  title   = {Denotational Linear Time Semantics and Sequential Composition},
  journal = {Information Processing Letters},
  volume  = {59},
  number  = {3},
  year    = {1996},
  pages   = {135--143},
  doi     = {10.1016/0020-0190(96)00101-9}
}