Skip to main content

A type reduction theory for systems with replicated components

Tomasz Mazur and Gavin Lowe

Journal
Logical Methods in Computer Science
Year
2012