共 50 条
- [2] An event-based semantics for Japanese emphatic particles PACLIC 16: Language, Information, and Computation, Proceedings, 2002, : 113 - 122
- [5] An event-based structural operational semantics of multi-threaded java Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1523 : 157 - 200
- [6] Towards a Formal Semantics of Event-Based Multi-agent Simulations MULTI-AGENT-BASED SIMULATION IX, 2009, 5269 : 110 - 126
- [7] Towards Real-Time Semantics for a Distributed Event-Based MOP Language NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 231 - 243
- [8] Combining State- and Event-Based Semantics to Verify Highly Available Programs FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 213 - 232
- [10] Rethinking the semantics of complex nominals ADVANCES IN ARTIFICIAL INTELLIGENCE, 2007, 4509 : 502 - +