On the Relative Expressiveness of Higher-Order Session Processes

DOI10.1007/978-3-662-49498-1_18zbMath1335.68174WikidataQ57652366 ScholiaQ57652366MaRDI QIDQ2802492

Nobuko Yoshida, Jorge A. Pérez, Dimitrios Kouzapas

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/28755

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• TALx86