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

@@ Property / DOI @@
-.1016/j.jlamp.2020.100631
@@ Property / DOI: 10.1016/j.jlamp.2020.100631 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Traces
@@ Property / describes a project that uses: Traces / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3109900459
@@ Property / OpenAlex ID: W3109900459 / 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 @@
+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
@@ Property / DOI @@
+.1016/J.JLAMP.2020.100631
@@ Property / DOI: 10.1016/J.JLAMP.2020.100631 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1996864