共 26 条
[1]
Agha G., 1986, Actors: A Model of Concurrent Computation in Distributed Systems, DOI DOI 10.7551/MITPRESS/1086.001.0001
[3]
[Anonymous], 2015, Basel Committee on Banking Supervision
[4]
[Anonymous], Table Aggregate Balance sheet of euro area Credit Institutions
[5]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[9]
Capponi A., 2016, Optimization Challenges in Complex, Networked and Risky Systems, P185, DOI [10.1287/educ.2016.0156, DOI 10.1287/EDUC.2016.0156]