Míreanna comhchosúla
-
CSP and timewise refinement
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1991) -
Security management via Z and CSP
de réir: Simpson, A, et al.
Foilsithe / Cruthaithe: (1998) -
On the expressive power of CSP refinement
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2003) -
SAT solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012) -
SAT−solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2011)