Specification
\zline{\fbox{Concurrent C{}}}
process spec consumer() { trans void put(int) } process spec producer(process consumer);
slide
:
Process specification in Concurrent C