Quantitative analysis of weighted transition systems☆
Under an Elsevier user license
open archive
Keywords
Quantitative analysis
Weighted transition systems
Weighted timed automata
Simulation
Trace inclusion
Hemimetrics
Cited by (0)
- ☆
This article expands on the talk given at the 20th Nordic Workshop on Programming Theory, NWPT 2008, Tallinn, November 19–21, 2008.
Copyright © 2010 Elsevier Inc. All rights reserved.