Abstrakt. En helt abstrakt och universell domänmodell för modala övergångssystem och förfining, utvecklad i [27], visas vara en maximal-points rymdmodell för bisimulationskvot av märkta övergångssystem över en ändlig uppsättning händelser. I denna domänmodell bevisar vi att denna quotient är ett stenutrymme vars kompakta, nolldimensionella och ultra-mätbara Hausdorff topologi mäter graden av tvåsimilaritet och att bildfinitmärkta övergångssystem är täta. Med hjälp av denna kompaktitet visar vi att uppsättningen av märkta övergångssystem som förfinar ett modal övergångssystem, dess "uppsättning av implementationer", är kompakt och härleda en kompaktitet teorem för Hennessy-Milner logik på sådana genomförande uppsättningar. Dessa resultat sträcker sig till system som också delvis har specificerat tillståndsförslag, förenar befintliga denotations-, drifts- och metrisk semantik om partiella processer, ger robusta konsekvensåtgärder för modala övergångssystem och ger en abstrakt tolkning av kompakta uppsättningar av märkta övergångssystem som Scott-slutna uppsättningar av modala övergångssystem.
Tidskriftsversionen av det dokumentet REF innehåller också ett komplement till Galois mellan kompakta uppsättningar av genomföranden och Scott-slutna uppsättningar av modala övergångssystem.
Labelled transition systems as a Stone space
{'venue': 'LMCS 1 (1:1) 2005', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}