Travelled to:1 × Germany
1 × Italy
Collaborated with:S.Cranen T.A.C.Willemse L.Aceto W.Fokkink A.Ingólfsdóttir
Talks about:merg (2) fixpoint (1) communic (1) logic (1) finit (1) equat (1) left (1) evid (1) base (1) ccs (1)
Person: Bas Luttik
DBLP: Luttik:Bas
Contributed to:
2015
2006Wrote 2 papers:
- CSL-2015-CranenLW #fixpoint #logic
- Evidence for Fixpoint Logic (SC, BL, TACW), pp. 78–93.
- ICALP-v2-2006-AcetoFIL #communication #equation #finite
- A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.