The Essence of Software: Why Concepts Matter for Great Design

by Daniel Jackson

Paradoxically perhaps, synchronization never adds new executions. It merely removes some executions: in this case the ones that don’t make sense.