Synthesis of monitor-based liveness-enforcing supervisors for S3 PR with ξ-resources

Dan You, Shouguang Wang, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

21 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesis of monitor-based liveness-enforcing supervisors for S<sup>3</sup> PR with ξ-resources'. Together they form a unique fingerprint.

Engineering & Materials Science