Denotational Linear Time Semantics and Sequential Composition


Baier, Christel ; Majster-Cederbaum, Mila


[img]
Preview
PDF
1995_30.pdf - Published

Download (1MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1758
URN: urn:nbn:de:bsz:180-madoc-17586
Document Type: Working paper
Year of publication: 1995
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Spezifikationssprache , Denotationale Semantik
Keywords (English): Specification languages , Denotational semantics , Sequential composition
Abstract: 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 or cpo. We present a general framework for the treatment of sequential composition. It turns out that a program can be described by its maximal computations in the metric approach whereas the partial order approach is suitable to describe a program by all its partial computations.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Baier, Christel ; Majster-Cederbaum, Mila (1995) Denotational Linear Time Semantics and Sequential Composition. Open Access [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item