Login / Signup

A calculus for concurrent system with higher-order streaming communication.

Masaki Murakami
Published in: Sci. Comput. Program. (2005)
Keyphrases