Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

A short proof of the decidability of bisimulation for normed bpa-processes

1992; Elsevier BV; Volume: 42; Issue: 3 Linguagem: Inglês

10.1016/0020-0190(92)90142-i

ISSN

1872-6119

Autores

Jan Friso Groote,

Tópico(s)

Cardiac electrophysiology and arrhythmias

Resumo

The decidability of bisimulation for normed processes was first proven by J.C.M. Baeten et al. (1987) and subsequently, using other proof techniques, by D. Caucal (1990) and H. Hüttel and C. Stirling (1991). We provide a short and straightforward proof.

Referência(s)