A type reduction theory for systems with replicated components
Tomasz Mazur and Gavin Lowe
Details
| Journal |
Logical Methods in Computer Science |
| Year |
2012 |
Links
Related pages
|
People |
Tomasz Mazur and Gavin Lowe
| Journal |
Logical Methods in Computer Science |
| Year |
2012 |
|
People |