Simplicial Models for Concurrency (Q5179017): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2012.05.002
@@ Property / DOI: 10.1016/j.entcs.2012.05.002 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.6599
@@ Property / arXiv ID: 1011.6599 / rank @@
+Normal rank
@@ Property / cites work @@
+A model category structure on the category of simplicial categories
+Normal rank
@@ Property / cites work @@
+Models and van Kampen theorems for directed homotopy theory
+Normal rank
@@ Property / cites work @@
+A model category for local po-spaces
@@ Property / cites work: A model category for local po-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Rigidification of quasi-categories
@@ Property / cites work: Rigidification of quasi-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Components of the fundamental category
@@ Property / cites work: Components of the fundamental category / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453908
@@ Property / cites work: Q4453908 / rank @@
+Normal rank
@@ Property / cites work @@
+Path categories and resolutions
@@ Property / cites work: Path categories and resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+A convenient category of locally preordered spaces
+Normal rank
@@ Property / cites work @@
+Cubical approximation for directed topology. I
@@ Property / cites work: Cubical approximation for directed topology. I / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial models of trace spaces
@@ Property / cites work: Simplicial models of trace spaces / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2012.05.002
@@ Property / DOI: 10.1016/J.ENTCS.2012.05.002 / rank @@
+Normal rank