Combining Component Specifications in Object-Z and CSP John DerrickEerke Boiten Original Paper Pages: 111 - 127
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach Brendan MahonyJin Song Dong Original Paper Pages: 142 - 160
Compositional Comparison of Formal Software Specifications Using Transformation Systems Martin Große-Rhode Original Paper Pages: 161 - 186