Parametrized automata simulation and application to service composition (Q485834): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M11
@@ Property / Mathematics Subject Classification ID: 68M11 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6386139
@@ Property / zbMATH DE Number: 6386139 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parametrized automata
@@ Property / zbMATH Keywords: parametrized automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+service composition
@@ Property / zbMATH Keywords: service composition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+simulation preorder
@@ Property / zbMATH Keywords: simulation preorder / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+composition synthesis
@@ Property / zbMATH Keywords: composition synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+infinite alphabet
@@ Property / zbMATH Keywords: infinite alphabet / rank @@
+Normal rank

Revision as of 21:29, 30 June 2023