Computing maximal weak and other bisimulations (Q510897): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6684420
@@ Property / zbMATH DE Number: 6684420 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSP
@@ Property / zbMATH Keywords: CSP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+FDR
@@ Property / zbMATH Keywords: FDR / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation
@@ Property / zbMATH Keywords: bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strong bisimulation
@@ Property / zbMATH Keywords: strong bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+delay bisimulation
@@ Property / zbMATH Keywords: delay bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weak bisimulation
@@ Property / zbMATH Keywords: weak bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+labelled transition systems
@@ Property / zbMATH Keywords: labelled transition systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-checking
@@ Property / zbMATH Keywords: model-checking / rank @@
+Normal rank

Revision as of 03:47, 1 July 2023