When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency.

Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson

Browse the full CONCUR paper archive.