Travelled to:1 × Denmark
1 × The Netherlands
Collaborated with:∅ C.Stirling
Talks about:bisimilar (2) process (2) context (2) free (2) silenc (1) louder (1) golden (1) branch (1) action (1) speak (1)
Person: Hans Hüttel
DBLP: H=uuml=ttel:Hans
Contributed to:
1991
1991Wrote 2 papers:
- CAV-1991-Huttel #branch #decidability #process #similarity
- Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes (HH), pp. 2–12.
- LICS-1991-HuttelS #process #proving #similarity #word
- Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes (HH, CS), pp. 376–386.