Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720): Difference between revisions

@@ Property / OpenAlex ID @@
+W1529088080
@@ Property / OpenAlex ID: W1529088080 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150204
@@ Property / cites work: Q3150204 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A completed hierarchy of true concurrent equivalences
+Normal rank
@@ Property / cites work @@
+The decidability border of hereditary history preserving bisimilarity
+Normal rank
@@ Property / cites work @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Independence and concurrent separation logic
@@ Property / cites work: Independence and concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847022
@@ Property / cites work: Q4847022 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Extending separation logic with fixpoints and postponed substitution
+Normal rank
@@ Property / cites work @@
+Modal and temporal properties of processes
@@ Property / cites work: Modal and temporal properties of processes / rank @@
+Normal rank