The geometry of conservative programs (Q4961721): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Geometric Approach to the Problem of Unique Decomposition of Processes
+Normal rank
@@ Property / cites work @@
+Q4720067
@@ Property / cites work: Q4720067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200638
@@ Property / cites work: Q5200638 / rank @@
+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 @@
+The geometry of semaphore programs
@@ Property / cites work: The geometry of semaphore programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563096
@@ Property / cites work: Q5563096 / 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 @@
+Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
+Normal rank
@@ Property / cites work @@
+Algebraic topology and concurrency
@@ Property / cites work: Algebraic topology and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Directed algebraic topology and higher dimensional transition systems
+Normal rank
@@ Property / cites work @@
+Geometry and concurrency: a user's guide
@@ Property / cites work: Geometry and concurrency: a user's guide / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Relationships Between Geometrical and Classical Models for Concurrency
+Normal rank
@@ Property / cites work @@
+Non-Hausdorff Topology and Domain Theory
@@ Property / cites work: Non-Hausdorff Topology and Domain Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable streams and prestreams
@@ Property / cites work: Exponentiable streams and prestreams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453908
@@ Property / cites work: Q4453908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797824
@@ Property / cites work: Q4797824 / rank @@
+Normal rank
@@ Property / cites work @@
+Streams, d-Spaces and Their Fundamental Categories
+Normal rank
@@ Property / cites work @@
+A Fibration Category of Local Pospaces
@@ Property / cites work: A Fibration Category of Local Pospaces / 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 @@
+A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems
+Normal rank
@@ Property / cites work @@
+Topology
@@ Property / cites work: Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340517
@@ Property / cites work: Q5340517 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher dimensional automata revisited
@@ Property / cites work: Higher dimensional automata revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992847
@@ Property / cites work: Q3992847 / rank @@
+Normal rank
@@ Property / cites work @@
+Erratum to ``On the expressiveness of higher dimensional automata''
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129517000226
+Normal rank
@@ Property / OpenAlex ID @@
+W2766503250
@@ Property / OpenAlex ID: W2766503250 / rank @@
+Normal rank