Using algebra for concurrency