Soren Christensen
2 published titles
Bisimulation equivalence is decidable for all context-free processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
