共 50 条
- [32] Automatable verification of sequential consistency [J]. THEORY OF COMPUTING SYSTEMS, 2003, 36 (05) : 431 - 460
- [33] Automatable Verification of Sequential Consistency [J]. Theory of Computing Systems, 2003, 36 : 431 - 460
- [34] Dynamic verification of sequential consistency [J]. 32ND INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 2005, : 482 - 493
- [35] A Novel Spatial Clustering Algorithm Based on Spatial Adjacent Relation for GML Data [J]. PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL I, 2009, : 278 - 282
- [36] Verification of Time Constraints Consistency on Web Service Composition based on ETPN [J]. INFORMATION TECHNOLOGY FOR MANUFACTURING SYSTEMS II, PTS 1-3, 2011, 58-60 : 1094 - 1099
- [38] The TCPN-based verification of temporal consistency in Web Service process [J]. ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 302 - +
- [39] A Consistency Verification Method with Semantics for Component-Based Software Designs [J]. PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016, : 821 - 826