A Bchi automata based model checking framework for reo connectors.

Sarmen Keshishzadeh, Mohammad Izadi, Ali Movaghar

Browse the full SAC paper archive.