Abstrakt. Färska studier visar att grenning tvåsimilaritet är decidable för både nBPP (normed Basic Parallel Processes) och nBPA (normed Basic Process Algebras). Dessa resultat leder till frågan om det finns några andra modeller i hierarkin av PRS (Process Rewrite Systems) vars grenning tvåsimilarity är decimedable. Det visas i detta dokument att den grenande bisimilariteten för både nOCN (normed One Counter Nets) och nPA (normed Process Algebras) är obeslutbar. Dessa resultat innebär i huvudsak att frågan har ett negativt svar.
I REF visas det att grenning av bisimilaritet inte går att bestämma på två klasser av infinita system: normed OCN (ett motnät) och normed PA (process algebra).
Branching Bisimilarity Checking for PRS
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}