name = "toplevel";
name = "client";
Properties {
requestRate : float = 17.000;
sourceCode : string = "CODE-LIB/client.c";
};
name = "sendRequest";
name = "server";
Properties {
idempotent : boolean = true;
maxConcurrentClients : int = 1;
multithreaded : boolean = false;
sourceCode : string = "CODE-LIB/server.c";
};
name = "receiveRequest";
name = "rpc";
Properties {
synchronous : boolean = true;
maxRoles : int = 2;
};
name = "caller";
name = "callee";