`Travelled to:`

1 × France

`Collaborated with:`

K.Futatsugi ∅ S.Iida

`Talks about:`

cafe (3) obj (3) foundat (2) specif (2) logic (2) behaviour (1) overview (1) algebra (1) rewrit (1) compon (1)

## Person: Razvan Diaconescu

### DBLP: Diaconescu:Razvan

### Contributed to:

### Wrote 4 papers:

- FM-v2-1999-DiaconescuFI #algebra #component #specification #verification
- Component-Based Algebraic Specification and Verification in CafeOBJ (RD, KF, SI), pp. 1644–1663.
- WRLA-1998-DiaconescuF #overview
- An overview of CafeOBJ (RD, KF), pp. 285–298.
- RWLW-1996-Diaconescu #behaviour #logic #specification
- Foundations of behavioural specification in rewriting logic (RD), pp. 226–245.
- WRLA-J-1996-DiaconescuF02 #logic
- Logical foundations of CafeOBJ (RD, KF), pp. 289–318.