Lucian Wischik

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Philippa Gardner, Cosimo Laneve, Lucian Wischik
Linear forwarders. Inf. Comput. 205 (10) (2007)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
Resource Usage Analysis for the p-Calculus. Log. Methods Comput. Sci. 2 (3) (2006)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
-Calculus. VMCAI (2006)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
Resource Usage Analysis for the Pi-Calculus CoRR (2006)
Lucian Wischik, Philippa Gardner
Explicit fusions. Theor. Comput. Sci. 340 (3) (2005)
Lucian Wischik, Philippa Gardner
Strong Bisimulation for the Explicit Fusion Calculus. FoSSaCS (2004)
Laura Bocchi, Lucian Wischik
A Process Calculus of Atomic Commit. Electron. Notes Theor. Comput. Sci. 105 (2004)
Philippa Gardner, Cosimo Laneve, Lucian Wischik
Linear Forwarders. CONCUR (2003)
Philippa Gardner, Cosimo Laneve, Lucian Wischik
The Fusion Machine. CONCUR (2002)
Philippa Gardner, Lucian Wischik
Explicit Fusions. MFCS (2000)