Travelled to:
1 × Switzerland
Collaborated with:
W.Fokkink
Talks about:
interleav (1) complet (1) specif (1) equat (1)
Person: S. P. Luttik
DBLP: Luttik:S=_P=
Contributed to:
Wrote 1 papers:
- ICALP-2000-FokkinkL #equation #specification
- An ω-Complete Equational Specification of Interleaving (WF, SPL), pp. 729–743.