Components with Symbolic Transition Systems: A Java Implementation of Rendezvous.
['Fabricio Fernandes', 'Robin Passama', 'Jean-Claude Royer']
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous.