Faron Moller
7 published titles
Relating processes with respect to speed
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Verification of parallel systems via decomposition
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
The mobility workbench : a tool for the [pi]-calculus
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
A polynomial algorithm for deciding bisimularity of normed context-free processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Modelling computer systems : mathematics of computer science
1 edition
- ISBN: 9781848003217
- Springer
- 2013
- Details
