| 2007 |
|---|
| 10 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear forwarders.
Inf. Comput. 205(10): 1526-1550 (2007) |
| 2006 |
|---|
| 9 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the pi-Calculus.
VMCAI 2006: 298-312 |
| 8 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the Pi-Calculus
CoRR abs/cs/0608035: (2006) |
| 7 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the p-Calculus.
Logical Methods in Computer Science 2(3): (2006) |
| 2005 |
|---|
| 6 | EE | Lucian Wischik,
Philippa Gardner:
Explicit fusions.
Theor. Comput. Sci. 340(3): 606-630 (2005) |
| 2004 |
|---|
| 5 | EE | Lucian Wischik,
Philippa Gardner:
Strong Bisimulation for the Explicit Fusion Calculus.
FoSSaCS 2004: 484-498 |
| 4 | EE | Laura Bocchi,
Lucian Wischik:
A Process Calculus of Atomic Commit.
Electr. Notes Theor. Comput. Sci. 105: 119-132 (2004) |
| 2003 |
|---|
| 3 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear Forwarders.
CONCUR 2003: 408-422 |
| 2002 |
|---|
| 2 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
The Fusion Machine.
CONCUR 2002: 418-433 |
| 2000 |
|---|
| 1 | EE | Philippa Gardner,
Lucian Wischik:
Explicit Fusions.
MFCS 2000: 373-382 |
