Login / Signup

A categorical framework for typing CCS-style process communication.

Ralf Schweimeier
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases