Detail

Publication date: 1 de June, 2021

Publication On the Expressiveness and Decidability of Higher-Order Process Calculi – Journal Information and Computation (Elsevier)


Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 209
Number 2
Pub. Date 01/02/2011