共 50 条
- [22] Characterization of message ordering specifications and protocols PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 492 - 499
- [24] An integration-oriented approach for designing communication protocols from component-based service specifications IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3, 1996, : 1157 - 1164
- [29] Specifications and verification of network protocols by process algebra SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 250 - 258
- [30] RAPID PROTOTYPING OF PROTOCOLS FROM LOTOS SPECIFICATIONS SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (01): : 31 - 54