Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6657614
@@ Property / zbMATH DE Number: 6657614 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent program
@@ Property / zbMATH Keywords: concurrent program / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamic process creation
@@ Property / zbMATH Keywords: dynamic process creation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal specification
@@ Property / zbMATH Keywords: formal specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+synthesis
@@ Property / zbMATH Keywords: synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank

Revision as of 08:29, 28 June 2023