Functional Programming, Concurrency, Simulation and Automated Reasoning
Subtitle: International Lecture Series 1991-1992 McMaster University, Hamilton, Ontari (Lecture Notes in Computer Science)
Publisher: Springer
Published: December 1993
Language: eng
Number of pages: 398
ISBN-13: 9780387568836
First sentence: The aim of this paper is not to add to the existing controversy about some of the issues discussed but to suggest a systematic approach to clarifying the issues, and to encourage others with similar concerns to help resolve some of the issues in the future.