Specification and Implementation of Concurrent Systems using PARLOG - researchr publication

researchr

You are not signed in
Sign in
Sign up

David Gilbert. Specification and Implementation of Concurrent Systems using PARLOG. 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 455-473, Springer, 1988.

Abstract is missing.

runs on WebDSL