Detail

Publication date: 01/02/2011

On the Expressiveness and Decidability of Higher-Order Process Calculi

Authors

Ivan Lanese, Jorge A Pérez, Davide Sangiorgi, Alan Schmitt,

Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 209
Number 2
Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 209
Number 2