Explicit Concurrency Models

Jonas expresses skepticism about Software Transactional Memory (STM) due to its reliance on implicit behaviors, advocating for explicit concurrency models instead. He highlights the importance of transparency in distributed systems, noting that while concurrency can be abstracted, the network's complexities cannot be hidden without deception. Eberhard agrees, pointing to a broader trend in software design that favors explicitness over hidden complexities.