A Logic for True Concurrency (Q5501929): Difference between revisions

@@ Property / arXiv ID @@
+.4094
@@ Property / arXiv ID: 1110.4094 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150204
@@ Property / cites work: Q3150204 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4015945
@@ Property / cites work: Q4015945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking mobile processes
@@ Property / cites work: Model checking mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking processes with data
@@ Property / cites work: Model-checking processes with data / rank @@
+Normal rank
@@ Property / cites work @@
+Logics and Bisimulation Games for Concurrency, Causality and Conflict
+Normal rank
@@ Property / cites work @@
+Model-checking games for fixpoint logics with partial order models
+Normal rank
@@ Property / cites work @@
+Model-Checking Games for Fixpoint Logics with Partial Order Models
+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 @@
+The power of the future perfect in program logics
@@ Property / cites work: The power of the future perfect in program logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of domino games and hhp-bisimilarity.
+Normal rank
@@ Property / cites work @@
+Q4847022
@@ Property / cites work: Q4847022 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225153
@@ Property / cites work: Q4225153 / rank @@
+Normal rank