Soft constraint automata with memory (Q5918138): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3093890401
@@ Property / OpenAlex ID: W3093890401 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q4621161
@@ Property / cites work: Q4621161 / rank @@
+Normal rank
@@ Property / cites work @@
+Soft constraint automata with memory
@@ Property / cites work: Soft constraint automata with memory / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Observational and behavioural equivalences for soft concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Residuation for bipolar preferences in soft constraints
+Normal rank
@@ Property / cites work @@
+Q4433737
@@ Property / cites work: Q4433737 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
+Normal rank
@@ Property / cites work @@
+Soft concurrent constraint programming
@@ Property / cites work: Soft concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+Intentional Automata: A Context-Dependent Model for Component Connectors
+Normal rank
@@ Property / cites work @@
+A model of context-dependent component connectors
@@ Property / cites work: A model of context-dependent component connectors / rank @@
+Normal rank
@@ Property / cites work @@
+QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
+Normal rank
@@ Property / cites work @@
+It's all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Nonerasing stack automata
@@ Property / cites work: Nonerasing stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+Actin Automata with Memory
@@ Property / cites work: Actin Automata with Memory / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional model to reason about end-to-end QoS in stochastic Reo connectors
+Normal rank