On formulating simultaneity for studying parallelism and synchronization
indivisibility of primitive instructions
scientific article; zbMATH DE number 3664360