共 50 条
- [42] Limitations of Liveness in Concurrent Software Systems 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 3252 - 3257
- [44] Typing Liveness in Multiparty Communicating Systems COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, 2014, 8459 : 147 - 162
- [46] Verification of Liveness Properties in Distributed Systems CONTEMPORARY COMPUTING, PROCEEDINGS, 2009, 40 : 625 - +
- [47] On the refinement of liveness properties of distributed systems Formal Methods in System Design, 2011, 39 : 1 - 46
- [48] Robust liveness enforcement of Petri nets with uncontrollable and unobservable transitions based on structural analysis IET CONTROL THEORY AND APPLICATIONS, 2023, 17 (04): : 477 - 492