A fully abstract semantics for concurrent constraint programming (Q1275748): Difference between revisions

@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3945564
@@ Property / cites work: Q3945564 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic models for concurrent logic languages
@@ Property / cites work: Semantic models for concurrent logic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736349
@@ Property / cites work: Q2736349 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract trace model for dataflow and asynchronous networks
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151149
@@ Property / cites work: Q4151149 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847021
@@ Property / cites work: Q4847021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126772
@@ Property / cites work: Q3126772 / rank @@
+Normal rank
@@ Property / cites work @@
+There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
+Normal rank
@@ Property / cites work @@
+Q4312460
@@ Property / cites work: Q4312460 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank