Real-time stable event structures and marked Scott domains: An adjunction

DOI10.1007/978-3-540-70881-0_39MaRDI QIDQ3401967zbMATH OpenOpenAlexFDO

Authors R. S. Dubtsov

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_39

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semantic domains of timed event structures
• Some monoidal closed categories of stable domains and event structures
• Timed transition systems with independence and marked Scott domains: an adjunction
• Event structures and domains
• \(L\)-stable event structures and \(L\)-domains

Cited in

(3)

• Semantic domains of timed event structures
• scientific article; zbMATH DE number 1927552 (Why is no real title available?)
• Timed transition systems with independence and marked Scott domains: an adjunction

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Real-time stable event structures and marked Scott domains: An adjunction

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