Specification

\zline{\fbox{Concurrent C{}}}
  process spec consumer() {
  trans void put(int)
  }
  
  process spec producer(process consumer);
  

slide: Process specification in Concurrent C