Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

DOI10.1007/978-3-540-70881-0_39zbMath1185.68442OpenAlexW1496059688MaRDI QIDQ3401967

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

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) Continuous lattices and posets, applications (06B35)

Related Items (1)

Semantic domains of timed event structures

Uses Software

• Unnamed Item

This page was built for publication: Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction