Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2012.05.007
@@ Property / DOI: 10.1016/j.entcs.2012.05.007 / rank @@
-Normal rank
@@ Property / cites work @@
+Q2703807
@@ Property / cites work: Q2703807 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebra of cubes
@@ Property / cites work: On the algebra of cubes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288284
@@ Property / cites work: Q4288284 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Loops, ditopology and deadlocks
@@ Property / cites work: Loops, ditopology and deadlocks / rank @@
+Normal rank
@@ Property / cites work @@
+Dipaths and dihomotopies in a cubical complex
@@ Property / cites work: Dipaths and dihomotopies in a cubical complex / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics of labelling in higher-dimensional automata
+Normal rank
@@ Property / cites work @@
+Q3625520
@@ Property / cites work: Q3625520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707052
@@ Property / cites work: Q4707052 / rank @@
+Normal rank
@@ Property / cites work @@
+Containment in Rule-Based Models
@@ Property / cites work: Containment in Rule-Based Models / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+PETRI NETS AND STEP TRANSITION SYSTEMS
@@ Property / cites work: PETRI NETS AND STEP TRANSITION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+On the classification of dipaths in geometric models for concurrency
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037087
@@ Property / cites work: Q4037087 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structures with Symmetry
@@ Property / cites work: Event Structures with Symmetry / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2012.05.007
@@ Property / DOI: 10.1016/J.ENTCS.2012.05.007 / rank @@
+Normal rank