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

@@ Property / author @@
-W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
-Normal rank
@@ Property / author @@
+W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ToolBus
@@ Property / describes a project that uses: ToolBus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-63165-8_212
+Normal rank
@@ Property / OpenAlex ID @@
+W1817458133
@@ Property / OpenAlex ID: W1817458133 / rank @@
+Normal rank
@@ 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