J ::= //join patterns | x<y> //message send pattern | x(y) //function call pattern | J | JBIS //synchronization From a client’s perspective, a channel just declares a method of the same name and signature.
J ::= //join patterns | x<y> //message send pattern | x(y) //function call pattern | J | JBIS //synchronization A kliens perspektívájából a csatorna csak deklarál egy metódust, ugyanazzal a névvel és szignatúrával.