Functional Programming, Concurrency, Simulation and Automated Reasoning