A Component Language For Pointer-Free Concurrent Programming And Its Application To Simulation