A Functional Programming Approach to the Specification and Verification of Concurrent Systems - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter Dybjer, Herbert P. Sander. A Functional Programming Approach to the Specification and Verification of Concurrent Systems. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 331-343, Springer, 1988.

Abstract is missing.

runs on WebDSL