Process Algebra with Combinators.

Jan A. Bergstra, Inge Bethke, Alban Ponse

Browse the full CSL paper archive.