A complete equational axiomatization for MPA with string iteration (Q1274456): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Axiomatizing prefix iteration with silent steps
@@ Property / cites work: Axiomatizing prefix iteration with silent steps / rank @@
+Normal rank
@@ Property / cites work @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+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 @@
+Q3028334
@@ Property / cites work: Q3028334 / rank @@
+Normal rank
@@ Property / cites work @@
+Realization of Events by Logical Nets
@@ Property / cites work: Realization of Events by Logical Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for nondeterministic Kleene algebras
+Normal rank
@@ Property / cites work @@
+Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
+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 @@
+Termination modulo equations by abstract commutation with an application to iteration
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+A term model for synchronous processes
@@ Property / cites work: A term model for synchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261731
@@ Property / cites work: Q4261731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / 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 @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00182-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2257073366
@@ Property / OpenAlex ID: W2257073366 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1274456