articles
Detail
Publication date: 1 de June, 2021Publication 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 |