Computability of step-wise simulation between ASMs
1 : Laboratoire dÁlgorithmique, Complexité et Logique
Université Paris-Est Créteil Val-de-Marne - Paris 12 : EA4219
In this talk we study the step-wise simulation between Abstract State Machines and get computability results to get insights about the soundness of simulation definitions.
| Type : | : | exposé |
| Thématiques | : | Exposés |
| PDF version | : |  PDF version |
