| [1] |
LU B , CAO R H , LU Y M ,et al. Design and formal analysis of an authentication protocol,eWMDP on wearable devices[J]. IEEE Access, 2019,7: 97771-97783.
|
| [2] |
ZHANG L H , LU B D , ZHAO T ,et al. A novel decentralized blockchain networks model with high concurrency (blockchain networks model with high concurrency)[C]// Proceedings of 2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE). Piscataway:IEEE Press, 2019: 800-804.
|
| [3] |
GORRIERI R , VERSARI C . Introduction to concurrency theory[M]. Cham: Springer International Publishing, 2015.
|
| [4] |
POLYVYANYY A , SOLTI A , WEIDLICH M ,et al. Monotone precision and recall measures for comparing executions and specifications of dynamic systems[J]. ACM Transactions on Software Engineering and Methodology, 2020,29(3): 1-41.
|
| [5] |
DIERTENS B . A process algebra software engineering environment[EB].
|
| [6] |
ZHANG F , ZHAO Y W , MA D F ,et al. Formal verification of behavioral AADL models by stateful timed CSP[J]. IEEE Access, 2017,5: 27421-27438.
|
| [7] |
MKAOUAR H , ZALILA B , HUGUES J ,et al. A formal approach to AADL model-based software engineering[J]. International Journal on Software Tools for Technology Transfer, 2020,22(2): 219-247.
|
| [8] |
KIM R , KWON H T , CHI S Y ,et al. A coordination model for agent behaviors using hierarchical finite state machine with inter-level concurrency[C]// Proceedings of 2016 International Conference on Information and Communication Technology Convergence (ICTC). Piscataway:IEEE Press, 2016: 359-364.
|
| [9] |
PRIETO M , SUGEZKY L , GONZáLEZ N ,, et al . Evaluation of the uModel factory software used for the modeling of embedded systems with concurrent states[C]// Proceedings of 2017 IEEE 8th Latin American Symposium on Circuits ＆ Systems (LASCAS). Piscataway:IEEE Press, 2017: 1-4.
|
| [10] |
PRZIGODA N , HILKEN C , WILLE R ,et al. Checking concurrent behavior in UML/OCL models[C]// Proceedings of 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). Piscataway:IEEE Press, 2015: 176-185.
|
| [11] |
SHIROLE M , KUMAR R . Test scenario selection for concurrency testing from UML models[C]// Proceedings of 2015 Eighth International Conference on Contemporary Computing (IC3). Piscataway:IEEE Press, 2015: 531-536.
|
| [12] |
GADEA C , IONESCU B , IONESCU D . Modeling and simulation of an operational transformation algorithm using finite state machines[C]// Proceedings of 2018 IEEE 12th International Symposium on Applied Computational Intelligence and Informatics (SACI). Piscataway:IEEE Press, 2018: 119-124.
|
| [13] |
PAZZI L , PRADELLI M . Modularity and part-whole compositionality for computing the state semantics of statecharts[C]// Proceedings of 2012 12th International Conference on Application of Concurrency to System Design. Piscataway:IEEE Press, 2012: 193-203.
|
| [14] |
RAVICHANDRAN K , PANDE S . F2C2-STM:flux-based feedback-driven concurrency control for STMs[C]// Proceedings of 2014 IEEE 28th International Parallel and Distributed Processing Symposium. Piscataway:IEEE Press, 2014: 927-938.
|
| [15] |
MEJIA-RICART L , OLMSTED A . Avoiding unnecessary deaths:drag-Back,a deadlock avoidance model[C]// Proceedings of 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST). Piscataway:IEEE Press, 2017: 472-474.
|
| [16] |
BAKURA S A , MOHAMMED A . Lock-free hybrid concurrency control strategy for mobile environment[C]// Proceedings of 2014 IEEE 6th International Conference on Adaptive Science ＆Technology (ICAST). Piscataway:IEEE Press, 2014: 1-5.
|
| [17] |
RATHNAYAKE A , THIELECKE H . Regular expression matching and operational semantics[J]. Electronic Proceedings in Theoretical Computer Science, 2011,62: 31-45.
|
| [18] |
ZENG M , LIU P , MIAO H K . The design and implementation of a modeling tool for regular expressions[C]// Proceedings of 2014 IIAI 3rd International Conference on Advanced Applied Informatics. Piscataway:IEEE Press, 2014: 726-731.
|
| [19] |
POURALI P . A user-centric approach to improve the quality of UML-like modeling tools and reduce the efforts of modeling[D]. Waterloo:University of Waterloo, 2020.
|
