A forum for Spin users
You are not logged in.
Pages: 1
Not installed, the problem is that, what is the name of the package I should install?
When I'm using iSpin Editor/View and display the Automata View get the following error "ispin:cannot find dot'', anyone can help me solve this problem?
the process that initiates the communication is the controller, running all states, and then send to the agent, which analyzes the information received and if all is well, send your answer ... so should sudecer, that's why I need to run around a complete process and then the other, that's where my question lies, I can not run all the prototype and then the other
the run well, correct?
init
{
atomic { run controlador(2,1); run agente(2,1) }
}
when you say "send a message" you mean using data send by the channel?
that's right, two proctypes and I need to run first one then the other
I've recently developed in Spin and I have a question to solve, in my project I have two prototypes and run tolamente need a first or another later.
They function as two finite state machines to represent a client-server architecture for a stop and wait protocol
Pages: 1