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

DOI10.1007/978-3-540-70881-0_39zbMATH Open1185.68442OpenAlexW1496059688MaRDI QIDQ3401967FDOQ3401967

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

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

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)

Cited In (3)

• Semantic domains of timed event structures
• Title not available (Why is that?)
• Timed transition systems with independence and marked Scott domains: an adjunction

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)