Login / Signup

A (Co)Algebraic Analysis of Synchronization in CSP.

Uwe Wolter
Published in: WADT (2006)
Keyphrases