I'm sitting there every time I model my systems, thinking, there must be a better way to model concurrency than using UML activity diagrams.
Please share your thoughts. What's your favourite tool or format for modelling and getting a clear understanding of how to build a concurrent system?