Pages that link to "Item:Q3339299"

The following pages link to Closed Covers: To Verify Progress for Communicating Finite State Machines (Q3339299):

Displaying 4 items.

• An interface theory for service-oriented design (Q407507) (← links)
• Probabilistic verification of communication protocols (Q916356) (← links)
• Two normal form theorems for CSP programs (Q1094869) (← links)
• A methodology for constructing communication protocols with multiple concurrent functions (Q1112596) (← links)