Nova estratégia para a classe Main_<nome do processo>

--<processName> <channelName>_<processName> = new <processName> (GPSE.getProcessSyncEnds (new Integer (), <channelName>))

		new P (GPSE.getProcessSyncEnds (new Integer (0), chan)); <-- parCodeLeft (oque é para ser, na verdade tem que mudar)
		new Gui_P ("P", /*V*/ GPSE.getProcessSyncEnds (new Integer (-1), chan)); <-- parCodeRight

		P chan_P = new P (GPSE.getProcessSyncEnds (new Integer (0), chan));
		Gui_P chan_Gui_P = new Gui_P ("P", /*V*/ GPSE.getProcessSyncEnds (new Integer (-1), chan));




**************************************************************************************************
package paper.src.paper;

 /**/

import java.util.*;
import org.jcsp.lang.*;
/**/
import java.util.*;
import org.jcsp.lang.*;

import paper.src.paper.axiomaticDefinitions.*;
import paper.src.paper.processes.*;
import paper.src.paper.typing.*;
import newjcircusutil.RandomGenerator;
import newjcircusutil.multisync.*;
import paper.src.paper.gui.*;


public class Main_P {

	public static void main(String args[]) { 
	
		Any2OneChannel endManager = Channel.any2one(); //Isto aqui é GERADO pela API de Velocity. Se removido, prejudica o código gerado para o protocolo de multisincronização

		ChannelInfo chanInfo_chan = new ChannelInfo();
		chanInfo_chan.put(new Integer(-1), new Integer(0));
		chanInfo_chan.put(new Integer(0), new Integer(1));
		GeneralChannel [][]chan = /*??*/ /*new*/ GCArray.create2Array/*GeneralChannel*/(chanInfo_chan,new Integer(0));

		P chan_P = new P (GPSE.getProcessSyncEnds (new Integer (0), chan));
		Gui_P chan_Gui_P = new Gui_P ("P", /*V*/ GPSE.getProcessSyncEnds (new Integer (-1), chan));

		new Parallel (new CSProcess[] {
			chan_P, chan_Gui_P
		}).run();
	}	
}