Searching for "Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
by Martin Berger, Kohei Honda, Nobuko Yoshida
…Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes Martin Berger…
Add To MetaCart

Showing 1 through 1.

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