On Scott's thesis for domains of information and well-quasi-orderings

DOI10.1016/0304-3975(90)90157-DzbMath0743.06001MaRDI QIDQ1813971

Claudia Böttinger

Publication date: 25 June 1992

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

zbMATH Keywords

quasiordercausal dependenciesevent structureorder continuous functionScott's thesis

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Cites Work

• Theory of relations. Transl. from the French by P. Clote
• Petri nets, event structures and domains. I
• Data Types as Lattices
• $ℵ_0$-categoricity of linear orderings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item