On the expressiveness of higher dimensional automata (Q2491631): Difference between revisions

@@ Property / author @@
-Q324629
@@ Property / author: Q324629 / rank @@
-Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2110308671
@@ Property / OpenAlex ID: W2110308671 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+The difference between splitting in \(n\) and \(n+1\)
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The non-sequential behaviour of Petri nets
@@ Property / cites work: The non-sequential behaviour of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / 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 @@
+Petri nets and bisimulation
@@ Property / cites work: Petri nets and bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750150
@@ Property / cites work: Q3750150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Specification of Higher Dimensional Automata
+Normal rank
@@ Property / cites work @@
+Loops, ditopology and deadlocks
@@ Property / cites work: Loops, ditopology and deadlocks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703724
@@ Property / cites work: Q2703724 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy invariants of higher dimensional categories and concurrency in computer science
+Normal rank
@@ Property / cites work @@
+Q2724148
@@ Property / cites work: Q2724148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146269
@@ Property / cites work: Q3146269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707047
@@ Property / cites work: Q4707047 / rank @@
+Normal rank
@@ Property / cites work @@
+A model category for the homotopy theory of concurrency
+Normal rank
@@ Property / cites work @@
+Comparing globular complex and flow
@@ Property / cites work: Comparing globular complex and flow / rank @@
+Normal rank
@@ Property / cites work @@
+Homological properties of non-deterministic branchings of mergings in higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Flow does not model flows up to weak dihomotopy
@@ Property / cites work: Flow does not model flows up to weak dihomotopy / rank @@
+Normal rank
@@ Property / cites work @@
+Topological deformation of higher dimensional automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+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 @@
+Some geometric perspectives in concurrency theory
@@ Property / cites work: Some geometric perspectives in concurrency theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044313
@@ Property / cites work: Q3044313 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher dimensional automata revisited
@@ Property / cites work: Higher dimensional automata revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Transition and cancellation in concurrency and branching time
+Normal rank
@@ Property / cites work @@
+On the classification of dipaths in geometric models for concurrency
+Normal rank
@@ Property / cites work @@
+Q2843711
@@ Property / cites work: Q2843711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705618
@@ Property / cites work: Q4705618 / rank @@
+Normal rank
@@ Property / cites work @@
+Extraction of concurrent processes from higher dimensional automata
+Normal rank
@@ Property / cites work @@
+Q4703889
@@ Property / cites work: Q4703889 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2491631