Searching for "Refinement in Object-Z and CSP." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Structural refinement in Object-Z / CSP
by John Derrick, Graeme Smith — 2000 — 2ND INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS (IFM’00), VOLUME 1945 OF LECTURE NOTES IN COMPUTER SCIENCE
…Structural refinement in Object-Z / CSP John Derrick 1 and Graeme Smith 2 1 Computing Laboratory…
Cited by 4 (3 self) – Add To MetaCart

Refinement and verification of concurrent systems specified in Object-Z and CSP
by Graeme Smith, John Derrick — 1997 — First International Conference on Formal Engineering Methods (ICFEM ’97
…Refinement and verification of concurrent systems specified in Object-Z and CSP Graeme Smith…
Cited by 17 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB