scientific article

From MaRDI portal

Publication:3706510

Jump to:navigation, search

zbMath0583.68033MaRDI QIDQ3706510

Kurt Lautenbach, Anastasia Pagnoni

Publication date: 1985

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

zbMATH Keywords

marked nets liveness of markings

Mathematics Subject Classification ID

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

This page was built for publication:

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