CONCUR'99. Concurrency Theory

CONCUR'99. Concurrency Theory

4.11 - 1251 ratings - Source

2.2 Semantics Given a clock valuation v and d aˆˆ IR+, v+d is the valuation given by (v+d)(x) = v(x) + d, aˆ€x aˆˆ C. For R aŠ† C, v[Ra†’ 0] is the ... The Kronos tool is a model checker for TCTL and timed I¼-calculus [9], and Uppaal [11] verifies properties in a timed modal logic. ... since the difference between two clocks corresponds to the difference between the execution times of the transitions that reset them.

Title:CONCUR'99. Concurrency Theory
Author:Jos C.M. Baeten, Sjouke Mauw
Publisher:Springer - 2003-07-31


You Must CONTINUE and create a free account to access unlimited downloads & streaming