Concurrency and asyncchrony codes