Universal homogeneous event structures and domains

DOI10.1016/0890-5401(91)90032-WzbMath0759.68056MaRDI QIDQ1175945

Manfred Droste

Publication date: 25 June 1992

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsevent structuretheory of domains

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Relational systems, laws of composition (08A02)

Related Items

Universal domains and the amalgamation property, On stable domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-deterministic information systems and their domains
• Theory of relations. Transl. from the French by P. Clote
• Universal profinite domains
• On countable locally described structures
• Event structures and domains
• \(\mathbb{T}^\omega\) as a universal domain
• The lambda calculus, its syntax and semantics
• Sequential algorithms on concrete data structures
• Coherence and consistency in domains
• Recursive domain equations for concrete data structure
• Groups of order-automorphisms of the rationals with prescribed scale type
• Models of the lambda calculus
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Sur l'extension aux relations de quelques propriétés des ordres