Publication:4373413
From MaRDI portal
zbMath0890.68083MaRDI QIDQ4373413
Publication date: 17 February 1998
68Q55: Semantics in the theory of computing
Related Items
General quantitative specification theories with modal transition systems, Metrics for weighted transition systems: axiomatization and complexity, Bisimulation indexes and their applications, Weighted modal transition systems, The quantitative linear-time-branching-time spectrum