scientific article; zbMATH DE number 1864591

zbMath1006.68091MaRDI QIDQ4791269

Jiří Srba

Publication date: 6 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540277.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

The decidability border of hereditary history preserving bisimilarity ⋮ Undecidable equivalences for basic parallel processes ⋮ The complexity of identifying characteristic formulae ⋮ Unnamed Item