|
Search the dblp DataBase
Lindsay Errington:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Clark, Lindsay Errington, Chris Hankin
Static Analysis of Value-Passing Process Calculi. [Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:307-320 [Conf]
- Lindsay Errington, Chris Hankin, Thomas P. Jensen
Reasoning About Gamma Programs. [Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1993, pp:115-125 [Conf]
- Lindsay Errington, Chris Hankin, Thomas P. Jensen
A Congruence for Gamma Programs. [Citation Graph (0, 0)][DBLP] WSA, 1993, pp:242-253 [Conf]
- Lindsay Errington
On the Semantics of Message Passing Processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|