Lucian Wischik

According to our database, Lucian Wischik authored at least 9 papers between 2000 and 2006.

Collaborative distances:

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

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

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

2003

Linear Forwarders.

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Proceedings of the CONCUR 2003, 2003

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

2000

Explicit Fusions.

Philippa Gardner, Lucian Wischik

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000