Event structures and domains

DOI10.1016/0304-3975(89)90117-5zbMATH Open0678.68080OpenAlexW2075018594MaRDI QIDQ1124367FDOQ1124367

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

Recommendations

• Event structures and domains
• scientific article; zbMATH DE number 4018370
• Modeling event structures*
• Probabilistic event structures and domains
• CONCUR 2004 - Concurrency Theory
• Universal homogeneous event structures and domains
• scientific article; zbMATH DE number 7297883
• Semantic domains of timed event structures
• scientific article
• scientific article; zbMATH DE number 7215282

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)

Cites Work

• Petri nets, event structures and domains. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The largest Cartesian closed category of domains
• Sequential algorithms on concrete data structures
• Title not available (Why is that?)
• Recursive domain equations for concrete data structure

Cited In (23)

• Bundle event structures: a revised cpo approach.
• CONCUR 2004 - Concurrency Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Causal automata
• Non-deterministic information systems and their domains
• Title not available (Why is that?)
• Semantic domains of timed event structures
• Universal homogeneous event structures and domains
• Information systems revisited -- the general continuous case
• The largest cartesian closed category of stable domains
• Stable trace automata vs. full trace automata
• Information systems for continuous semi-lattices
• Denotational, causal, and operational determinism in event structures
• An event structure semantics for general Petri nets
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Probabilistic event structures and domains
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Title not available (Why is that?)
• Recursive domain equations for concrete data structure
• Various Constructions of Continuous Information Systems
• Universal domains and the amalgamation property

This page was built for publication: Event structures and domains

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