//
// P and Q example
//

Event a,b,c
Process P, Q, R

P <- a b P
Q <- a c Q

R <- P * Q

display ~(P*Q)