We have developed prototype BIP compilers for Send/Receive BIP. They are used for generating distributed implementations from BIP models. More details can be found here and here.
contact: Jean Quilbeuf
We have developed prototype BIP compilers for Send/Receive BIP. They are used for generating distributed implementations from BIP models. More details can be found here and here.
contact: Jean Quilbeuf