Travelled to:1 × Spain
1 × USA
Collaborated with:P.Gardner N.Kobayashi K.Suenaga
Talks about:calculus (2) explicit (1) resourc (1) bisimul (1) analysi (1) strong (1) fusion (1) usag (1)
Person: Lucian Wischik
DBLP: Wischik:Lucian
Contributed to:
2006
2004Wrote 2 papers:
- VMCAI-2006-KobayashiSW #analysis #resource management #π-calculus
- Resource Usage Analysis for the pi-Calculus (NK, KS, LW), pp. 298–312.
- FoSSaCS-2004-WischikG #bisimulation #calculus
- Strong Bisimulation for the Explicit Fusion Calculus (LW, PG), pp. 484–498.