An algebraic approach to analysis of recursive and concurrent programs

Michal Tomasz Terepeta

Research output: Book/ReportPh.D. thesisResearch

320 Downloads (Pure)

Fingerprint

Dive into the research topics of 'An algebraic approach to analysis of recursive and concurrent programs'. Together they form a unique fingerprint.

Engineering & Materials Science