"Verification of the MultiStream Potocol (MSP) Using COSPAN."

Thomas F. La Porta, Mischa Schwartz (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics