Conflict vs causality in event structures (Q1996864): Difference between revisions

@@ Property / cites work @@
+A Logic for True Concurrency
@@ Property / cites work: A Logic for True Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036551
@@ Property / cites work: Q4036551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733427
@@ Property / cites work: Q4733427 / rank @@
+Normal rank
@@ Property / cites work @@
+A completed hierarchy of true concurrent equivalences
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3385652
@@ Property / cites work: Q3385652 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Practical graph isomorphism. II.
@@ Property / cites work: Practical graph isomorphism. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Q3045269
@@ Property / cites work: Q3045269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751025
@@ Property / cites work: Q3751025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718143
@@ Property / cites work: Q3718143 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+On Characterising Distributability
@@ Property / cites work: On Characterising Distributability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank