Functional Programming, Concurrency, Simulation and Automated ReasoningPeter E. Lauer · First published 1993Open the Tome
ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, OntarioInternational Conference on Computing and Information (4th 1992 Toronto, Ont.), Waldemar W. Koczkodaj, Peter E. Lauer · First published 1992Open the Tome
Specification and Analysis of Concurrent SystemsJanicki, Ryszard, Lauer, Peter E. · First published 1992Open the Tome
