Schellhorn, Gerhard ASM refinement and generalizations of forward simulation in data refinement: a comparison. (English) Zbl 1080.68058 Theor. Comput. Sci. 336, No. 2-3, 403-435 (2005). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Roman, Gruia-Catalin; Payton, Jamie A principled exploration of coordination models. (English) Zbl 1080.68066 Theor. Comput. Sci. 336, No. 2-3, 367-401 (2005). MSC: 68Q60 68M14 × Cite Format Result Cite Review PDF Full Text: DOI Link
Nanchen, Stanislas; Stärk, Robert F. A logic for secure memory access of abstract state machines. (English) Zbl 1080.68057 Theor. Comput. Sci. 336, No. 2-3, 343-365 (2005). MSC: 68Q45 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Gurevich, Yuri; Tillmann, Nikolai Partial updates. (English) Zbl 1080.68020 Theor. Comput. Sci. 336, No. 2-3, 311-342 (2005). MSC: 68P05 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Glässer, Uwe; Gu, Qian-Ping Formal description and analysis of a distributed location service for mobile ad hoc networks. (English) Zbl 1080.68002 Theor. Comput. Sci. 336, No. 2-3, 285-309 (2005). MSC: 68M14 68M12 × Cite Format Result Cite Review PDF Full Text: DOI
Börger, Egon; Fruja, Nicu G.; Gervasi, Vincenzo; Stärk, Robert F. A high-level modular definition of the semantics of C\(_{\sharp}\). (English) Zbl 1080.68006 Theor. Comput. Sci. 336, No. 2-3, 235-284 (2005). MSC: 68N15 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich Combining test case generation and runtime verification. (English) Zbl 1080.68062 Theor. Comput. Sci. 336, No. 2-3, 209-234 (2005). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI