scientific article

From MaRDI portal

Publication:3033335

Jump to:navigation, search

zbMath0691.68059MaRDI QIDQ3033335

V. Yu. Kirillov

Publication date: 1988

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

zbMATH Keywords

Petri nets finite automata equivalent transformations description of languages liveliness conditions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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:3033335&oldid=16075471"