A symbolic model for timed concurrent constraint programming (Q530859): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.04.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2066746166
@@ Property / OpenAlex ID: W2066746166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871846
@@ Property / cites work: Q2871846 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis for timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+Models and emerging trends of concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Linear temporal logic symbolic model checking
@@ Property / cites work: Linear temporal logic symbolic model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of infinite-state timed CCP processes and first-order LTL
+Normal rank
@@ Property / cites work @@
+Q4259957
@@ Property / cites work: Q4259957 / rank @@
+Normal rank