Axiomatizations for the perpetual loop in process algebra (Q4571987): Difference between revisions

@@ Property / cites work @@
+An equational axiomatization for multi-exit iteration
+Normal rank
@@ Property / cites work @@
+Axiomatizing prefix iteration with silent steps
@@ Property / cites work: Axiomatizing prefix iteration with silent steps / rank @@
+Normal rank
@@ Property / cites work @@
+A menagerie of non-finitely based process semantics  over BPA* – from ready simulation to completed traces
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Q4525274
@@ Property / cites work: Q4525274 / 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 @@
+Q3727367
@@ Property / cites work: Q3727367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375630
@@ Property / cites work: Q4375630 / rank @@
+Normal rank
@@ Property / cites work @@
+\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
@@ Property / cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank