共 50 条
- [1] Model Checking Actor-based Cyber-Physical Systems [J]. PROCEEDINGS OF THE 2020 IEEE/ACM 24TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2020, : 107 - 114
- [2] An actor-based model for the electronic market [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2880 - 2885
- [4] An Actor-based Design Platform for System of Systems [J]. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2019, : 579 - 587
- [5] Programming Actor-Based Collective Adaptive Systems [J]. PROGRAMMING WITH ACTORS: STATE-OF-THE-ART AND RESEARCH PERSPECTIVES, 2018, 10789 : 94 - 122
- [6] Efficient linearizability checking for actor-based systems [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2023, 53 (11): : 2163 - 2199
- [8] Efficient symmetry reduction for an actor-based model [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2005, 3816 : 494 - 507
- [9] ACTOR-BASED SIMULATION [J]. PROCEEDINGS OF THE 1989 SUMMER COMPUTER SIMULATION CONFERENCE, 1989, : 910 - 915
- [10] Actor-based simulation of PDEVS systems over HLA [J]. 41ST ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2008, : 229 - 236