Viktade, märkta övergångssystem är LTS vars övergångar är givna vikter som dras från en kommutativ monoid. WLTS subsumerar ett brett spektrum av LTS, vilket ger en allmän uppfattning om stark (viktad) bisimulering. I detta dokument utvidgar vi denna ram till andra beteendejämvikter, genom att överväga halvringar av vikter. Genom att utnyttja denna extra struktur inför vi en allmän uppfattning om svag viktad bisimulering. Vi visar att svag viktad bisimulation sammanfaller med de vanliga svaga bisimuleringarna när det gäller icke-deterministiska och fullt probabilistiska system; dessutom ger den naturligtvis en definition av svag bisimulering även för typer av LTS där detta begrepp för närvarande saknas (t.ex. stokastiska system). Slutligen ger vi en kategorisk redogörelse för den kolgebraiska konstruktionen av svag viktad bisimulation; denna konstruktion pekar på hur vi kan anpassa vår inställning till andra likvärdigheter som bygger på olika begrepp om observerbarhet.
I REF författarna utvidga viktade Labelled Transition Systems (WLTS) till andra beteendejämvikter, genom att överväga halvringar av vikter.
Weak bisimulations for labelled transition systems weighted over semirings
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}