scientific article

From MaRDI portal

Publication:3696526

Jump to:navigation, search

zbMath0576.68042MaRDI QIDQ3696526

Colette Johnen, Christine Choppy

Publication date: 1985

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 (1)

Rewriting with a nondeterministic choice operator

This page was built for publication:

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