BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: H=uuml=ttel:Hans

Contributed to:

CAV 19911991
LICS 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.