Denotational linear time semantics and sequential composition
From MaRDI portal
Publication:671406
DOI10.1016/0020-0190(96)00101-9zbMath0900.68296OpenAlexW2046051500MaRDI QIDQ671406
Christel Baier, Mila E. 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
Related Items
Cites Work
- Denotational linear time semantics and sequential composition
- Combining data type and recursive process specifications using projection algebras
- Modeling concurrency with partial orders
- Metric semantics for concurrency
- Four domains for concurrency
- Denotational semantics in the cpo and metric approach
- Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
- Processes and the denotational semantics of concurrency
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- A simple language supporting angelic nondeterminism and parallel composition
- Unnamed Item
- Unnamed Item
- Unnamed Item
