Yazar
Yoram Hirshfeld
2 cilt bulundu.
Cilt sonuçları
A polynomial algorithm for deciding bisimularity of normed context-free processes
Yoram Hirshfeld · LFCS, Dept. of Computer Science, University of Edinburgh
27 sayfa · 1994
Algorithms / Equivalence (Linguistics) / Polynomials
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Yoram Hirshfeld · LFCS, Dept. of Computer Science, University of Edinburgh
12 sayfa · 1994
Parallel processing (Electronic computers) / Algorithms / Polynomials