Rob Van Glabbeek

 

Website: http://theory.stanford.edu/~rvg/

 

Entries

2015
August 10: Analysing and Comparing Encodability Criteria for Process Calculi