scientific article; zbMATH DE number 10088

From MaRDI portal

Publication:4713369

Jump to:navigation, search

zbMath0744.68106MaRDI QIDQ4713369

No author found.

Publication date: 25 June 1992

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

zbMATH Keywords

recursive sets bisimulation labelled graphs grammar equivalence

Mathematics Subject Classification ID

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

Related Items (1)

Computable processes and bisimulation equivalence

This page was built for publication:

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