Hans Hüttel
6 published titles
Actions speak louder than words : proving bisimilarity for context-free processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Undecidable equivalences for basic process algebra
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Silence is golden : branching bisimilarity is decidable for context-free processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Bisimulation equivalence is decidable for all context-free processes
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Undecidable equivalences for basic parallel processes
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Transitions and trees : an introduction to structural operational semantics
1 edition
- ISBN: 9780521147095
- Cambridge University Press
- 2010
- Details
