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. © Advaith Siddharthan
 
Sam Staton
 

Research

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

Related People