Lindsay Errington

According to our database, Lindsay Errington authored at least 4 papers between 1993 and 1999.

Collaborative distances:

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

1999

On the Semantics of Message Passing Processes.

Lindsay Errington

Proceedings of the Conference on Category Theory and Computer Science, 1999

1994

Static Analysis of Value-Passing Process Calculi.

David Clark, Lindsay Errington, Chris Hankin

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

A Congruence for Gamma Programs.

Lindsay Errington, Chris Hankin, Thomas P. Jensen

Proceedings of the Static Analysis, Third International Workshop, 1993

Reasoning About Gamma Programs.

Lindsay Errington, Chris Hankin, Thomas P. Jensen

Proceedings of the Theory and Formal Methods 1993, 1993