-- ---

pingMany = Config {
             cTypes = [mPing (pvar "x"), mPong (pvar "x")]
           , cSets = []
           , cUnfold = [Conc (S "ps") 1]
           , cProcs = [( tpid0
                       , Block [ Iter (V "pi") (S "ps")
                                          (Send (pvar "pi") [(mPing tpid0, Skip ())] ()) ()
                                , Iter (V "pii") (S "ps")
                                          (Recv [(mPong (pvar "x"), Skip ())] ()) ()] ())
                      ,( tpid2
                       , Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong (pvar "p"), Skip ())] ())] ())
                      ]
           }
pingMany = Config {
             cTypes = [mPing (pvar "x"), mPong (pvar "x")]
           , cSets = []
           , cUnfold = [Conc (S "ps") 1]
           , cProcs = [( tpid0
                       , Block [ Iter (V "pi") (S "ps")
                                          (Send (pvar "pi") [(mPing tpid0, Skip ())] ()) ()
                                , Iter (V "pii") (S "ps")
                                          (Recv [(mPong (pvar "x"), Skip ())] ()) ()] ())
                      ,( tpid2
                       , Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong (pvar "p"), Skip ())] ())] ())
                      ]
           }
pingMany = Config {
             cTypes = [mPing (pvar "x"), mPong (pvar "x")]
           , cSets = []
           , cUnfold = [Conc (S "ps") 1]
           , cProcs = [( tpid0
                       , Block [ Iter (V "pi") (S "ps")
                                          (Send (pvar "pi") [(mPing tpid0, Skip ())] ()) ()
                                , Iter (V "pii") (S "ps")
                                          (Recv [(mPong (pvar "x"), Skip ())] ()) ()] ())
                      ,( tpid2
                       , Recv [(mPing (pvar "x"), Send (pvar "x") [(mPong (pvar "p"), Skip ())] ())] ())
                      ]
           }