Event structures and domains

DOI10.1016/0304-3975(89)90117-5zbMath0678.68080OpenAlexW2075018594MaRDI QIDQ1124367

Manfred Droste

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90117-5

zbMATH Keywords

denotational semanticsevent structurecomputational processesevent domain

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (13)

Information systems for continuous semi-lattices ⋮ Universal domains and the amalgamation property ⋮ Non-deterministic information systems and their domains ⋮ Universal homogeneous event structures and domains ⋮ The largest cartesian closed category of stable domains ⋮ An event structure semantics for general Petri nets ⋮ Information systems revisited -- the general continuous case ⋮ Causal automata ⋮ Various Constructions of Continuous Information Systems ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Stable trace automata vs. full trace automata ⋮ Recursive domain equations for concrete data structure ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin

Cites Work

• The largest Cartesian closed category of domains
• Petri nets, event structures and domains. I
• Sequential algorithms on concrete data structures
• Recursive domain equations for concrete data structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Event structures and domains