De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke Model checking mobile stochastic logic. (English) Zbl 1159.68478 Theor. Comput. Sci. 382, No. 1, 42-70 (2007). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Schäfer, Andreas Axiomatisation and decidability of multi-dimensional Duration Calculus. (English) Zbl 1109.68069 Inf. Comput. 205, No. 1, 25-64 (2007). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI