Non-regular iterators in process algebra (Q5958616): 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 @@
+Q3839065
@@ Property / cites work: Q3839065 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete equational axiomatization for MPA with string iteration
+Normal rank
@@ Property / cites work @@
+Q4375631
@@ Property / cites work: Q4375631 / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Q3761680
@@ Property / cites work: Q3761680 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525274
@@ Property / cites work: Q4525274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760242
@@ Property / cites work: Q2760242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Top-down design and the algebra of communicating processes
+Normal rank
@@ Property / cites work @@
+Two finite specifications of a queue
@@ Property / cites work: Two finite specifications of a queue / rank @@
+Normal rank
@@ Property / cites work @@
+A complete equational axiomatization for prefix iteration
+Normal rank
@@ Property / cites work @@
+Q4880140
@@ Property / cites work: Q4880140 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations for the perpetual loop in process algebra
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing flat iteration
@@ Property / cites work: Axiomatizing flat iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Axiomatising finite delay operators
@@ Property / cites work: Axiomatising finite delay operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929062
@@ Property / cites work: Q3929062 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable processes and bisimulation equivalence
@@ Property / cites work: Computable processes and bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Nonaxiomatisability of equivalences over finite state processes
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00413-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2147246587
@@ Property / OpenAlex ID: W2147246587 / rank @@
+Normal rank