BESERIAL

swMATH16847MaRDI QIDQ28711FDOQ28711

Author name not available (Why is that?)

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