Co-Algebraic Models for Quantitative Spatial Logics (Q2870283): Difference between revisions

@@ Property / cites work @@
+Semirings for constraint solving and programming.
@@ Property / cites work: Semirings for constraint solving and programming. / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Spatial-Behavioral Types, Distributed Services, and Resources
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. II
@@ Property / cites work: A spatial logic for concurrency. II / rank @@
+Normal rank
@@ Property / cites work @@
+TQL: a query language for semistructured data based on the ambient logic
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847818
@@ Property / cites work: Q2847818 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank