DMCA

Distributed under a Creative Commons Attribution 4.0 International License On the Expressiveness and Decidability of Higher-Order Process Calculi I,II (2015)

Cached

Download Links

by Ivan Lanese , Jorge Perez , Davide Sangiorgi , Alan Schmitt , Ivan Lanesea , Jorge A. Pérezb , Davide Sangiorgia , Alan Schmittc