共 50 条
[42]
A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines
[J].
DATABASE AND EXPERT SYSTEMS APPLICATIONS, DEXA 2017, PT I,
2017, 10438
:505-513
[43]
View integration in data warehouse design using typed Abstract State Machines and strong data refinement
[J].
QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS,
2006,
:175-+
[44]
Formal Verification of Generalised State Machines
[J].
PCI 2008: 12TH PAN-HELLENIC CONFERENCE ON INFORMATICS, PROCEEDINGS,
2008,
:227-231
[45]
Model checking of hierarchical state machines
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2001, 23 (03)
:273-303
[50]
Free Choice in Modal Inquisitive Logic
[J].
JOURNAL OF PHILOSOPHICAL LOGIC,
2023, 52 (02)
:347-391