`Travelled to:`

1 × The Netherlands

`Collaborated with:`

L.J.Somers M.Voorhoeve M.J.v.Diepen

`Talks about:`

exspect (1) between (1) algebra (1) semant (1) formal (1) relat (1) petri (1) level (1) tool (1) link (1)

## Person: Kees M. van Hee

### DBLP: Hee:Kees_M=_van

### Contributed to:

### Wrote 5 papers:

- VDME-1990-DiepenH #algebra #relational #semantics
- A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.
- VDME-1991-HeeSV #petri net
- Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.
- VDME-1991-HeeSV91a
- The EXSPECT Tool (KMvH, LJS, MV), pp. 683–684.