BESERIAL

MaRDI QIDQ28711swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-85758-7_27

Cited in

(5)

• On the diversity of asynchronous communication
• A generic framework for n-protocol compatibility checking
• PlusCal
• ITACA
• Checking protocol compatibility using Maude

This page was built for software: BESERIAL