1.
Josephs MB (1988) A state-based approach to communicating processes. Distrib Comput 3:9–18
CrossRef
2.
He Jifeng (1989) Process refinement. In: McDermid J (ed) The theory and practice of refinement. Butterworths, Boston
3.
Woodcock JCP, Morgan CC (1990) Refinement of state-based concurrent systems. In: Bjorner D, Hoare CAR, Langmaack H (eds) VDM’90: VDM and Z!- formal methods in software development. Lecture notes in computer science, vol 428. Springer, Berlin, pp 340–351
4.
Bolton C, Davies J (2002) Refinement in Object-Z and CSP. In: Butler M, Petre L, Sere K (eds) Integrated formal methods (IFM 2002). Lecture notes in computer science, vol 2335. Springer, Berlin, pp 225–244
5.
Bolton C, Davies J (2006) A singleton failures semantics for communicating sequential processes. Formal Aspects Comput 18(2):181–210
CrossRef
6.
Smith G (1997) A semantic integration of Object-Z and CSP for the specification of concurrent systems. In: Fitzgerald J, Jones CB, Lucas P (eds) FME’97: industrial application and strengthened foundations of formal methods. Lecture notes in computer science, vol 1313. Springer, Berlin, pp 62–81
7.
Smith G, Derrick J (2001) Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods Syst Design 18:249–284
CrossRef
8.
Derrick J, Smith G (2000) Structural refinement in Object-Z/CSP. In: Grieskamp W, Santen T, Stoddart B (eds) International conference on integrated formal methods 2000 (IFM’00). Lecture notes in computer science, vol 1945. Springer, Berlin, pp 194–213
9.
Fischer C (1997) CSP-OZ - A combination of CSP and Object-Z. In: Bowman H, Derrick J (eds) Second IFIP international conference on formal methods for open object-based distributed systems. Chapman & Hall, New York, pp 423–438
CrossRef
10.
Mahony BP, Dong JS (1998) Blending Object-Z and timed CSP: an introduction to TCOZ. In: Futatsugi K, Kemmerer R, Torii K (eds) 20th international conference on software engineering (ICSE’98). IEEE Press, New Jercy
11.
Galloway A, Stoddart W, An operational semantics for ZCCS. In: Hinchey and Liu [23], pp 272–282
12.
Treharne H, Schneider S, Using a process algebra to control B operations. In: Araki et al [21], pp 437–456
13.
Fischer C, How to combine Z with a process algebra. In: Bowen et al [22], pp 5–23
14.
Fischer C, Wehrheim H (2000) Behavioural subtyping relations for object-oriented formalisms. In: Rus T (ed) Algebraic methodology and software technology. Lecture notes in computer science, vol 1816. Springer, Berlin, pp 469–483
15.
Wehrheim H (2000) Behavioural subtyping and property preservation. In: Smith SF, Talcott CL (eds) Formal methods for open object-based distributed systems (FMOODS 2000). Kluwer, The Netherlands, pp 213–231
16.
Liskov B, Wing JM (1994) A behavioural notion of subtyping. ACM Trans Program Lang Syst 16(6):1811–1841
CrossRef
17.
Smith G, Derrick J, Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey and Liu [101], pp 293–302
18.
Bolton C, Davies J, Woodcock JCP, On the refinement and simulation of data types and processes. In: Araki et al [21], pp 273–292
19.
Fischer C (2000) Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg
20.
Smith G, Derrick J (2002) Abstract specification in Object-Z and CSP. In: George C, Miao H (eds) Formal methods and software engineering. Lecture notes in computer science, vol 2495. Springer, Berlin, pp 108–119
21.
Araki K, Galloway A, Taguchi K (eds) (1999) International conference on integrated formal methods 1999 (IFM’99). Springer, New York
22.
Bowen JP, Fett A, Hinchey MG (eds) (1998) ZUM’98: The Z formal specification notation. Lecture notes in computer science, vol 1493. Springer, Berlin
23.
Hinchey MG, Liu S (eds) (1997) First international conference on formal engineering methods (ICFEM’97). IEEE Computer Society Press, Hiroshima, Japan
