Publication
Detail
Publication date: 01/02/2011On the Expressiveness and Decidability of Higher-Order Process Calculi
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 |