Login / Signup

Proof-theoretic foundations for the design of actor systems.

Carlos H. C. Duarte
Published in: Math. Struct. Comput. Sci. (1999)
Keyphrases