Characteristic bisimulations 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

Digital Object Identifier: http://dx.doi.org/10.4230/lipics.concur.2015.398

Publication URI: http://dx.doi.org/10.4230/lipics.concur.2015.398

Type: Other

Volume: 42

Parent Publication: Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 18688969