SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS (Q3021937): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Programs from Example Computations
@@ Property / cites work: Constructing Programs from Example Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054102000935
+Normal rank
@@ Property / OpenAlex ID @@
+W2024445190
@@ Property / OpenAlex ID: W2024445190 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3021937