共 50 条
- [32] Metric Denotational Semantics for Parallel Rewriting of Multisets 13TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2011), 2012, : 276 - 283
- [34] Rewriting Logic Semantics of a Plan Execution Language ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (18): : 77 - 91
- [36] Rewriting Logic Semantics and Verification of Model Transformations FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 18 - +
- [38] A Symbolic Rewriting Semantics of the COMPASS Modeling Language 2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 283 - 290
- [40] Controlled fuzzy parallel rewriting NEW TRENDS IN FORMAL LANGUAGES: CONTROL, COOPERATION, AND COMBINATORICS, 1997, 1218 : 49 - 70