Buggy implementation with processes