Study of Stepwise Simulation Between ASM
| Autor: | Julien Cervelle, Patrick Cegielski |
|---|---|
| Přispěvatelé: | Cervelle, Julien, Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
geography
[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] Theoretical computer science geography.geographical_feature_category [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] Computer science Computability Abstract state machines Natural (music) [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] Sound (geography) ComputingMilieux_MISCELLANEOUS |
| Zdroj: | 15th Conference on Computability in Europe 15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167 Computing with Foresight and Industry ISBN: 9783030229955 CiE |
| Popis: | In this paper we study the notion of stepwise simulation between Abstract State Machines, to explore if some natural change on the original definition would keep it sound. We prove that we have to keep the classical notion and give results about the computability of the simulation itself. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|