Classifying invariant structures of step traces

作者：

Highlights：

• We present a detailed investigation of invariant structures of five different classes of step traces.

• The axiomatisation of different classes of invariant structures is simplified for an improved algorithmic treatment.

• We show that the causal patterns implied by the five different classes of step traces cannot be made simpler.

摘要

•We present a detailed investigation of invariant structures of five different classes of step traces.•The axiomatisation of different classes of invariant structures is simplified for an improved algorithmic treatment.•We show that the causal patterns implied by the five different classes of step traces cannot be made simpler.

论文关键词：Trace,Independence,Partial order,Interleaving,Trace of step sequences,Simultaneity,Sequentialisation,Serialisability,Invariant structure

论文评审过程：Received 10 June 2015, Revised 4 April 2017, Accepted 4 May 2017, Available online 17 May 2017, Version of Record 6 June 2019.

论文官网地址：https://doi.org/10.1016/j.jcss.2017.05.002