Step bisimulation is pomset equivalence on a parallel language without explicit internal choice (Q4279248): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and graph theoretic characterizations of structured flowchart schemes
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / 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 @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / 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 @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+On lifting Fuchsian Groups
@@ Property / cites work: On lifting Fuchsian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A semantically meaningful characterization of reducible flowchart schemes
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Distributed bisimulations
@@ Property / cites work: Distributed bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
+Normal rank