Browse wiki
From International Center for Computational Logic
This paper focuses on the issue of modelli … 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.r the treatment of sequential composition. +
Christel Baier + und Mila E. Majster-Cederbaum +
@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}
}
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}
}
Baier +
Christel +
Christel Baier, Mila E. Majster-Cederbaum& … Christel Baier, Mila E. Majster-Cederbaum<br/> '''[[Article3017794657|Denotational Linear Time Semantics and Sequential Composition]]''' <br/>__NOTOC__Information Processing Letters, 59(3):135--143, 1996<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3017794657|Details]]rticle3017794657|Details]] +
Christel Baier, Mila E. Majster-Cederbaum& … Christel Baier, Mila E. Majster-Cederbaum<br/> '''[[Article3017794657/en|Denotational Linear Time Semantics and Sequential Composition]]''' <br/>__NOTOC__Information Processing Letters, 59(3):135--143, 1996<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3017794657|Details]]rticle3017794657|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Denotational Linear Time Semantics and Sequential Composition +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:45:06 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Denotational Linear Time Semantics and Sequential Composition +, Denotational Linear Time Semantics and Sequential Composition +, Denotational Linear Time Semantics and Sequential Composition +, Denotational Linear Time Semantics and Sequential Composition +, Denotational Linear Time Semantics and Sequential Composition + und Denotational Linear Time Semantics and Sequential Composition +
