scientific article

From MaRDI portal

Publication:3875354

Jump to:navigation, search

zbMath0435.68048MaRDI QIDQ3875354

No author found.

Publication date: 1979

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

zbMATH Keywords

regular expressions independence relation systems of concurrent processes path expressions algebra of traces

Mathematics Subject Classification ID

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

Related Items (1)

Theory of traces

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3875354&oldid=17497039"