I detta papper definierar vi simuleringar upp till en förbeställning och visar hur vi kan använda dem för att ge en myntledande, simuleringsliknande karakterisering av semantiska förordningar för processer. Resultatet gäller för en bred klass av förbeställningar, särskilt för alla semantiska förordningar som är grövre än den färdiga simuleringsförordningen i det linjära tidsgrensspektrumet. Ett intressant men oväntat resultat är att simuleringen up-to är en kanonisk förordning vars kärna är den givna ekvivalensrelationen när den byggs från en ekvivalensrelation. Dessa kanoniska preorders har flera fina egenskaper, det viktigaste är att eftersom alla av dem definieras på ett homogent sätt, deras egenskaper kan bevisas på ett generiskt sätt. I synnerhet presenterar vi en axiomatic karakterisering av var och en av dessa kanoniska preorder, som erhålls bara genom att lägga till en enda axiom till axiomatizationen av den ursprungliga ekvivalensrelationen. Detta ger oss en alternativ axiomatisering för varje axiomatizable förordning i den linjära tidsgrenar tidsspektrum, vars korrekthet och fullständighet kan bevisas en gång för alla.
De genererar denna inekvationella axiomatization genom att helt enkelt lägga till de definiera inekvational axioms för den färdiga simuleringen preorder till axiomatizationen för ekvivalens-see Theorem 5.1 i REF.
Simulations up-to and Canonical Preorders (extended abstract) Abstract
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}