Order Structures and Generalisations of Szpilrajn's Theorem (1993)

Author(s): Janicki R, Koutny M

    Abstract: Relational structures of the form (X, R1, R2), with R1 ? R2 ? X x X, R1 being a poset interpreted as causality, R2 being interpreted as 'not later than' or 'weak causality' relation, are considered. Szpilrajn's theorem that each poset is the intersection of its total extensions is generalised to such structures; the interpretation and applications of the results obtained are discussed.

      • Series Title: Department of Computing Science Technical Report Series
      • Pages: 10
      • Institution: Department of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: causality structures, partial orders, theory of concurrency, Y

      Staff

      Professor Maciej Koutny
      Professor of Computing Science