An Application of Temporal Projection to Interleaving Concurrency
scientific article; zbMATH DE number 6767252