Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819): 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.jlamp.2017.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2653983955
@@ Property / OpenAlex ID: W2653983955 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Labels and Bisimilarity for Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Soft concurrent constraint programming
@@ Property / cites work: Soft concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+A Secure Non-monotonic Soft Concurrent Constraint Language
+Normal rank
@@ Property / cites work @@
+Timed soft concurrent constraint programs: An interleaved and a parallel approach
+Normal rank
@@ Property / cites work @@
+On limits in complete semirings
@@ Property / cites work: On limits in complete semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Q4433737
@@ Property / cites work: Q4433737 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to cylindric set algebras
@@ Property / cites work: An introduction to cylindric set algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems, Barbed Semantics, and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+A General Theory of Barbs, Contexts, and Labels
@@ Property / cites work: A General Theory of Barbs, Contexts, and Labels / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847021
@@ Property / cites work: Q4847021 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for the Concurrent Constraint Pi-Calculus
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+On the expressiveness of Linda coordination primitives.
+Normal rank
@@ Property / cites work @@
+Phase semantics and decidability of elementary affine logic
+Normal rank
@@ Property / cites work @@
+A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
+Normal rank