Metrics for weighted transition systems: axiomatization and complexity

DOI10.1016/j.tcs.2011.04.003zbMath1216.68191OpenAlexW2092216144MaRDI QIDQ549202

Uli Fahrenberg, Claus Thrane, Kim Guldstrand Larsen

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01088055/file/tcs.pdf

zbMATH Keywords

complexityaxiomatizationsystem distanceweighted transition system

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

Quantitative analysis of software approximate correctness ⋮ General quantitative specification theories with modal transition systems ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Convex lattice equation systems ⋮ Computing branching distances with quantitative games ⋮ The quantitative linear-time-branching-time spectrum ⋮ Multi-weighted automata and MSO logic ⋮ Weighted modal transition systems ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ Metrics for weighted transition systems: axiomatization and complexity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simulation for lattice-valued doubly labeled transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for weighted transition systems: axiomatization and complexity
• Metrics for labelled Markov processes
• Quantitative analysis of weighted transition systems
• CCS expressions, finite state processes, and three problems of equivalence
• A complete inference system for a class of regular behaviours
• The complexity of stochastic games
• Transfinite reductions in orthogonal term rewriting systems
• On the regularization of Zeno hybrid automata
• Looking for MUM and DAD: Text-text comparisons do help
• Simulation Distances
• Topologies, Continuity and Bisimulations
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Metrics for weighted transition systems: axiomatization and complexity