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
Kamide, Norihiro Linear and affine logics with temporal, spatial and epistemic operators. (English) Zbl 1175.03039 Theor. Comput. Sci. 353, No. 1-3, 165-207 (2006). MSC: 03F52 03B45 × Cite Format Result Cite Review PDF Full Text: DOI