Login / Signup

A type reduction theory for systems with replicated components

Tomasz MazurGavin Lowe
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases