menu

Home
Topics
Download
Help
Statistics
About

Contribution

Rob Van Glabbeek

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

This is an unofficial reimagining of the Archive of Formal Proofs

2015

Analysing and Comparing Encodability Criteria for Process Calculi
by Kirstin Peters and Rob van Glabbeek

10 Aug