Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan

Sam Staton

Sam Staton's Affiliations
- TSG Group
- - Alan Mycroft
  - Andrew Pitts
  - Anuj Dawar
  - Gilles Peskine
  - Glynn Winskel
  - Larry Paulson
  - Marcelo Fiore
  - Martin Richards
  - Matthew Parkinson
  - Mike Gordon
  - Peter Sewell
  - Robin Milner
  - Sam Staton
  - Samy Abbes
  - Scott Owens
  - Susmit Sarkar
  - Tim Griffin
  - Tom Ridge

Research

(Analysis last run in Jan 2008; Sam Staton's real webpage is here.)

2005--2007: 'name-passing process calculuses'; 'operational models'; 'process calculus'; 'structural operational semantics'; 'congruence rule format';

Related People

Marcelo Fiore [ TSG ]:
- 'congruence rule format'; 'operational models';
Andrew Pitts [ TSG ]:
- 'operational reasoning'; 'structural operational semantics';