Lucian Wischik

According to our database, Lucian Wischik authored at least 9 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Linear forwarders.

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Inf. Comput., 2007

2006

Resource Usage Analysis for the p-Calculus.

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Log. Methods Comput. Sci., 2006

Resource Usage Analysis for the Pi-Calculus

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

CoRR, 2006

Resource Usage Analysis for the <i>pi</i>-Calculus.

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Proceedings of the Verification, 2006

2005

Explicit fusions.

Lucian Wischik, Philippa Gardner

Theor. Comput. Sci., 2005

2004

A Process Calculus of Atomic Commit.

Laura Bocchi, Lucian Wischik

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Strong Bisimulation for the Explicit Fusion Calculus.

Lucian Wischik, Philippa Gardner

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2002

Explicit fusions: theory and implementation

Lucian Wischik

PhD thesis, 2002

The Fusion Machine.

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Proceedings of the CONCUR 2002, 2002