Login / Signup

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper BengtsonMagnus JohanssonJoachim ParrowBjörn Victor
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases