Functional programming, concurrency, simulation and automated reasoning

by Peter E. Lauer

"This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advan…