Denotational linear time semantics and sequential composition

DOI10.1016/0020-0190(96)00101-9zbMATH Open0900.68296OpenAlexW2046051500MaRDI QIDQ671406FDOQ671406

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

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

zbMATH Keywords

Denotational semanticsSequential compositionSpecification languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

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

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)