Searching for "On the Expressiveness and Decidability of Higher-Order Process Calculi." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On the Expressiveness and Decidability of Higher-Order Process Calculi ∗
by Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
…On the Expressiveness and Decidability of Higher-Order Process Calculi ∗ Ivan Lanese Jorge A…
Add To MetaCart

Università di Bologna Abstract
by Ivan Lanese, Jorge A. Pérez
…On the Expressiveness and Decidability of Higher-Order Process Calculi ∗ Ivan Lanese Università di…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB