Interval-based Specification of Concurrent Objects

Hans Henrik Løvengreen, Morten U. Sørensen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Interval-based Specification of Concurrent Objects'. Together they form a unique fingerprint.

    Mathematics