An Interleave Principle for Demonstrating concurrent Programs | IEEE Journals & Magazine | IEEE Xplore