scientific article; zbMATH DE number 1948498

zbMath1015.68133MaRDI QIDQ4412112

Jiří Srba

Publication date: 13 July 2003

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

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

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Weak bisimilarity and regularity of context-free processes is EXPTIME-hard