共 50 条
- [42] Testing Probabilistic Distributed Systems [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 63 - +
- [44] On cooperating distributed uniformly limited 0L systems [J]. NEW TRENDS IN FORMAL LANGUAGES, 1997, 1218 : 178 - 196
- [47] Hypermedia cooperating environment (HCE) for distributed cooperating application [J]. Gaojishu Tongxin/High Technology Letters, 1999, 9 (09): : 20 - 23
- [48] Probabilistic Block Cipher for distributed systems [J]. BIGDATA CONFERENCE (FORMERLY INTERNATIONAL CONFERENCE ON BIG DATA AND ITS APPLICATIONS), 2018, 1117
- [50] Undecidability Results for Distributed Probabilistic Systems [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 220 - 235