A Nice labelling for tree-like event structures of degree 3 (Q979077): Difference between revisions

@@ Property / describes a project that uses @@
+POEM
@@ Property / describes a project that uses: POEM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2009.05.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2950031412
@@ Property / OpenAlex ID: W2950031412 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite labelling problem in event structures
@@ Property / cites work: Finite labelling problem in event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free event domains are recognizable
@@ Property / cites work: Context-free event domains are recognizable / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition theorem for partially ordered sets
+Normal rank
@@ Property / cites work @@
+CONCURRENT AUTOMATA AND DOMAINS
@@ Property / cites work: CONCURRENT AUTOMATA AND DOMAINS / rank @@
+Normal rank
@@ Property / cites work @@
+On stable domains
@@ Property / cites work: On stable domains / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Incidence matrices and interval graphs
@@ Property / cites work: Incidence matrices and interval graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715576
@@ Property / cites work: Q5715576 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Sur le coloriage des graphs
@@ Property / cites work: Sur le coloriage des graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791271
@@ Property / cites work: Q4791271 / rank @@
+Normal rank
@@ Property / cites work @@
+The Implementation of Mazurkiewicz Traces in POEM
@@ Property / cites work: The Implementation of Mazurkiewicz Traces in POEM / 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 @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Event structures and trace monoids
@@ Property / cites work: Event structures and trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Properties of Event Structures
@@ Property / cites work: Topological Properties of Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851333
@@ Property / cites work: Q2851333 / rank @@
+Normal rank
@@ Property / cites work @@
+A solution to Dilworth's congruence lattice problem
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5790850
@@ Property / cites work: Q5790850 / rank @@
+Normal rank