MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Matthew Fairbairn" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Rigorous Specification and Conformance Testing Techniques For Network . . .
by Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough — 2005 — IN PROC. SIGCOMM 2005
…, UDP, and Sockets Abstract Steve Bishop ∗ Matthew Fairbairn ∗ Michael Norrish † Peter Sewell ∗ Michael…
Cited by 14 (8 self) – Add To MetaCart

Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations
by Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough — 2006 — POPL'06
… Implementations Steve Bishop ∗ Matthew Fairbairn ∗ Michael Norrish † Peter Sewell ∗ Michael Smith ∗ Keith…
Cited by 10 (5 self) – Add To MetaCart

Mechanized metatheory for the masses: The POPLmark Challenge
by Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis — 2005
…, Matthew Fairbairn2, J. Nathan Foster1,Benjamin C. Pierce 1, Peter Sewell2, Dimitrios Vytiniotis1…
Cited by 71 (11 self) – Add To MetaCart

The Design of Distributed Programming Languages
by Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, James Leifer, Iulian Naemtiu, Michael Norrish, Gilles Peskine, Benjamin Pierce, Mark Shinwell, Michael Smith, Asis Unyapoth, Viktor Vafeiadis, Jan Vitek, Keith Wansbrough
… Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, James Leifer, Iulian Naemtiu…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB