H. Wehrheim. Data abstraction for CSP-OZ. In J. Woodcock and J. Wing, editors, World Congress on Formal Methods (FM'99), volume 1709 of LNCS. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Mechanical Abstraction of CSPz Processes - Mota, Borba, Sampaio (2002) (1 citation) (Correct)
....abstract interpretation This work was financially supported by CNPq grant 143720 98 8. in a slightly different manner than approaches available in the literature. More specifically, our approach is based on Lazi s work [26] to model checking data independent CSP processes and Wehrheim s work [13,14] to data abstracting CSPoz [8] a combination of CSP and Object Z) although we concentrate on CSPz [7,8] an integration of CSP and Z) The reason to use Wehrheim s approach instead of, for example, the ones proposed in [24,9] is that her approach already uses a CSP algebraic style which is very ....
....be communication abstractions for all channels (c 6 Interface) Then, the interface abstraction is given by R = Jeinterfaee (m, m A) re (c.m, c.mA) The following lemma relates the original and abstract versions of a CSPz process. It is a corrected extension s of a theorem proposed by Wehrheim [13,14]. Lemma I Let P be a partially data independent CSPz specification and pA its abstract version defined by optimal abstract interpretation with interface abstraction given by the renaming R. Then PER] pA. Q It is worth noting that, in general, Lemma i concern only renamed versions of the CSPz ....
[Article contains additional citation context not shown here]
H.Wehrheim. Data Abstraction for CSP-OZ. In J.Woodcock and J.Wing, editors, FM'99 World Congress on Formal Methods. LNCS 1709, Springer, 1999.
Proving temporal properties of Z specifications using abstraction - Smith, Winter (2003) (Correct)
No context found.
H. Wehrheim. Data abstraction for CSP-OZ. In J. Woodcock and J. Wing, editors, World Congress on Formal Methods (FM'99), volume 1709 of LNCS. Springer-Verlag, 1999.
Combination and Implementation of Processes and Data: from CSP-OZ .. - Fischer (2000) (18 citations) (Correct)
No context found.
H. Wehrheim. Data abstraction for CSP-OZ. In J. Woodcock and J. Wing, editors, FM'99, World Congress on Formal Methods, number 1709 in LNCS. Springer, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC