publication venue for Process Completing Sequences for Resource Allocation Systems with Synchronization. 2012:1-14. 2012