Progress in deriving concurrent programs : emphasizing the role of stable guards

B. Dongol, A.J. Mooij

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Progress in deriving concurrent programs : emphasizing the role of stable guards'. Together they form a unique fingerprint.

    Agricultural and Biological Sciences