Bounded synchronization delay in omega-rational expressions

From MaRDI portal
Publication:2907490