Denotational linear time semantics and sequential composition

DOI10.1016/0020-0190(96)00101-9MaRDI QIDQ671406zbMATH OpenOpenAlexFDO

Authors Christel Baier, Mila Majster-Cederbaum

Publication date 27 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://ub-madoc.bib.uni-mannheim.de/1758/1/1995_30.pdf

zbMATH Keywords

Denotational semanticsSequential compositionSpecification languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• scientific article; zbMATH DE number 3902019
• Order and metric in the stream semantics of elemental concurrency
• Linear time and branching time semantics for recursion with merge

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 92601 (Why is no real title available?)
• A simple language supporting angelic nondeterminism and parallel composition
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Combining data type and recursive process specifications using projection algebras
• Denotational linear time semantics and sequential composition
• Denotational semantics in the cpo and metric approach
• Four domains for concurrency
• Metric semantics for concurrency
• Modeling concurrency with partial orders
• Processes and the denotational semantics of concurrency
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts

Cited in

(5)

• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• Sequential composition in the presence of intermediate termination (extended abstract)
• Compositionality Entails Sequentializability
• Linear future semantics and its implementation
• Denotational linear time semantics and sequential composition

This page was built for publication: Denotational linear time semantics and sequential composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671406)