Event structures and domains

DOI10.1016/0304-3975(89)90117-5MaRDI QIDQ1124367zbMATH OpenOpenAlexFDO

Authors 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)

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; zbMATH DE number 4208063
• scientific article; zbMATH DE number 7215282

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• Petri nets, event structures and domains. I
• Recursive domain equations for concrete data structure
• Sequential algorithms on concrete data structures
• The largest Cartesian closed category of domains

Cited in

(30)

• The largest cartesian closed category of stable domains
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• scientific article; zbMATH DE number 7297883 (Why is no real title available?)
• Event structures and domains
• Denotational, causal, and operational determinism in event structures
• Context-free event domains are recognizable
• Non-deterministic information systems and their domains
• Recursive domain equations for concrete data structure
• Information systems for continuous semi-lattices
• Concurrent semantics for fusions: weak prime domains and connected event structures
• \(L\)-stable event structures and \(L\)-domains
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
• Event structure spans for nondeterministic dataflow
• Spatio-temporal domains: an overview
• Bundle event structures: a revised cpo approach.
• A verified algorithm enumerating event structures
• CONCUR 2004 - Concurrency Theory
• Universal domains and the amalgamation property
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• An event structure semantics for general Petri nets
• scientific article; zbMATH DE number 4770 (Why is no real title available?)
• Various constructions of continuous information systems
• Universal homogeneous event structures and domains
• Information systems revisited -- the general continuous case
• Probabilistic event structures and domains
• Causal automata
• Bundle event structures and CCSP.
• Stable trace automata vs. full trace automata
• Semantic domains of timed event structures

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)