scientific article; zbMATH DE number 1498421

From MaRDI portal

Publication:4499486

Jump to:navigation, search

zbMath0951.68091MaRDI QIDQ4499486

Igor V. Tarasyuk

Publication date: 30 August 2000

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

zbMATH Keywords

concurrent systems bisimulation Petri net

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:4499486&oldid=18589375"