A model of higher-order concurrent programs based on graph rewriting

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint Dive into the research topics of 'A model of higher-order concurrent programs based on graph rewriting'. Together they form a unique fingerprint.

Mathematics