When Concurrency Matters: Behaviour-Oriented Concurrency. - Luke Cheeseman; Matthew J. Parkinson; Sylvan Clebsch; Marios Kogias; Sophia Drossopoulou; David Chisnall; Tobias Wrigstad; Paul Liétar (Proc. ACM Program. Lang., 2023)