Transition systems from event structures revisited (Q293333): Difference between revisions

@@ Property / author @@
+Mila E. Majster-Cederbaum
@@ Property / author: Mila E. Majster-Cederbaum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q5748880
@@ Property / cites work: Q5748880 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified view of bisimulation: A comparative study
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank