Bisimulace (Czech Wikipedia)

Analysis of information sources in references of the Wikipedia article "Bisimulace" in Czech language version.

refsWebsite

Global rank Czech rank

1,871^st place

3,501^st place

5,196^th place

6,468^th place

computer.org

csdl2.computer.org

Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete — Petr Jančar (anglicky)

ed.ac.uk

lfcs.inf.ed.ac.uk

Bisimulation Equivalence is Decidable for all Context-Free Processes — Søren Christensen, Hans Hüttel, Colin Stirling (anglicky)
Bisimulation equivalence is decidable for normed Process Algebra — Yoram Hirshfeld and Mark Jerrum (anglicky)