and Prototyping of Concurrent Protocols