Dynamic consistency in process algebra: from paradigm to ACP (Q541685): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N99
@@ Property / Mathematics Subject Classification ID: 68N99 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5905034
@@ Property / zbMATH DE Number: 5905034 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+branching bisimulation
@@ Property / zbMATH Keywords: branching bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+collaboration
@@ Property / zbMATH Keywords: collaboration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic consistency
@@ Property / zbMATH Keywords: dynamic consistency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic constraint
@@ Property / zbMATH Keywords: dynamic constraint / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paradigm
@@ Property / zbMATH Keywords: paradigm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebra
@@ Property / zbMATH Keywords: process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank

Revision as of 10:23, 1 July 2023