Characteristic Bisimulation for Higher-Order Session Processes (2015)

First Author: Kouzapas, D
Attributed to:  Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2015/5365/

Type: Conference/Paper/Proceeding/Abstract

Volume: LIPIcs 42