Collaborated with:
R.J.v.Glabbeek
Talks about:
decomposit (1) precongru (1) lookahead (1) format (1) modal (1)
Person: Wan J. Fokkink
DBLP: Fokkink:Wan_J=
Contributed to:
Wrote 1 papers:
- CSL-2017-FokkinkG #composition #lookahead
- Precongruence Formats with Lookahead through Modal Decomposition (WJF, RJvG), p. 20.