Journal of Computer and System Sciences
Concurrency and Computation: Practice and Experience