Login / Signup

Psi-calculi: Mobile Processes, Nominal Data, and Logic.

Jesper BengtsonMagnus JohanssonJoachim ParrowBjörn Victor
Published in: LICS (2009)
Keyphrases