# 0 /app/home/loogen/public_html/Lehre/ws08/ParProg/mpd/workpool0.mpd 1+

global workpool
 const int p = 5
 type work = int
 op pool ( work ) { send } ; int count = 0 ; sem mutex = 1 ;
 op putwork ( int me , work item ) { call }
 op getwork ( int me , var work item ) { call }

 body workpool ; end ;