An invariant pattern-based approach to develop concurrent programs

M. Mizuno, G. Singh, M. L. Neilsen, D. H. Lenhert, N. Zhang, A. B. Gross

Research output: Contribution to journalConference article

Fingerprint Dive into the research topics of 'An invariant pattern-based approach to develop concurrent programs'. Together they form a unique fingerprint.

Physics & Astronomy

Engineering & Materials Science