Summary form only given. We address programming abstractions for building protocols from
smaller, reusable microprotocols. The existing protocol frameworks, such as Appia and
Cactus, either restrict the amount of concurrency between microprotocols, or depend on the
programmer, who should implement all the necessary synchronisation using standard
language facilities. We develop J-SAMOA: a framework for a synchronisation augmented
microprotocol approach in Java. It has been designed to allow concurrent protocols to be …