Searching for "Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem." – 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.

Decidability of Strong Bisimulation of Basic Parallel Processes using Hilbert's Basis Theorem
by Jitka Str'ibrn'a Department
…Decidability of Strong Bisimulation of Basic Parallel Processes using Hilbert's Basis Theorem…
Add To MetaCart

Showing 1 through 1.

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