共 50 条
- [32] Typing Liveness in Multiparty Communicating Systems COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, 2014, 8459 : 147 - 162
- [34] Propositional Gossip Protocols under Fair Schedulers PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022, 2022, : 391 - 397
- [35] Verification of Liveness Properties in Distributed Systems CONTEMPORARY COMPUTING, PROCEEDINGS, 2009, 40 : 625 - +
- [37] A generic approach for the automatic verification of featured, parameterised systems FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VIII, 2005, : 217 - 235
- [38] On the refinement of liveness properties of distributed systems Formal Methods in System Design, 2011, 39 : 1 - 46
- [39] Static Analysis Techniques for Parameterised Boolean Equation Systems TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 230 - 245