The following pages link to Event structures and domains (Q1124367):
Displaying 25 items.
- The largest cartesian closed category of stable domains (Q671652) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Non-deterministic information systems and their domains (Q914401) (← links)
- Information systems revisited -- the general continuous case (Q949623) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- Causal automata (Q1194329) (← links)
- Stable trace automata vs. full trace automata (Q1276249) (← links)
- Context-free event domains are recognizable (Q1286370) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- Spatio-temporal domains: an overview (Q1623136) (← links)
- Recursive domain equations for concrete data structure (Q1823005) (← links)
- Bundle event structures: a revised cpo approach. (Q1853038) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- Information systems for continuous semi-lattices (Q2123056) (← links)
- Probabilistic event structures and domains (Q2503038) (← links)
- \(L\)-stable event structures and \(L\)-domains (Q2860573) (← links)
- Event structure spans for nondeterministic dataflow (Q2866348) (← links)
- Universal domains and the amalgamation property (Q4279243) (← links)
- (Q4712654) (← links)
- (Q5114821) (← links)
- (Q5144682) (← links)
- Various Constructions of Continuous Information Systems (Q5415627) (← links)
- Denotational, causal, and operational determinism in event structures (Q5878915) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900558) (← links)
