Yoram Hirshfeld
5 published titles
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
A polynomial algorithm for deciding bisimularity of normed context-free processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Deciding equivalences in simple Process Algebras
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Congruences in commutative semigroups
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
